1511
0 true
1 ( >= BC_width 0.0 )
2 ( >= BC_hight 0.0 )
3 ( <= BC_width 4000.0 )
4 ( <= BC_x 0.0 )
5 ( >= BC_x 0.0 )
6 ( <= BC_y 0.0 )
7 ( >= BC_y 0.0 )
8 BC_feasible
9 ( >= back_ground_y 0.0 )
10 ( >= back_ground_width 0.0 )
11 ( >= back_ground_hight 0.0 )
12 ( >= title_bg_y 0.0 )
13 ( >= title_bg_width 0.0 )
14 ( >= title_bg_hight 0.0 )
15 ( >= hot_y 0.0 )
16 ( >= hot_width 0.0 )
17 ( >= main_body_holder_y 0.0 )
18 ( >= main_body_holder_width 0.0 )
19 ( >= main_body_holder_hight 0.0 )
20 ( <= ( + hot_y ( * -1.0 title_bg_y ) ( * -1.0 title_bg_hight ) ) 0.0 )
21 ( >= ( + hot_y ( * -1.0 title_bg_y ) ( * -1.0 title_bg_hight ) ) 0.0 )
22 ( <= ( + main_body_holder_y ( * -1.0 hot_y ) ) 100.0 )
23 ( >= ( + main_body_holder_y ( * -1.0 hot_y ) ) 100.0 )
24 ( <= back_ground_x 0.0 )
25 ( >= back_ground_x 0.0 )
26 ( <= ( + back_ground_width ( * -1.0 BC_width ) ) 0.0 )
27 ( >= ( + back_ground_width ( * -1.0 BC_width ) ) 0.0 )
28 ( <= title_bg_x 0.0 )
29 ( >= title_bg_x 0.0 )
30 ( <= hot_x 0.0 )
31 ( >= hot_x 0.0 )
32 ( <= main_body_holder_x 0.0 )
33 ( >= main_body_holder_x 0.0 )
34 ( <= ( + title_bg_width ( * -1.0 back_ground_width ) ) 0.0 )
35 ( >= ( + title_bg_width ( * -1.0 back_ground_width ) ) 0.0 )
36 ( <= ( + hot_width ( * -1.0 back_ground_width ) ) 0.0 )
37 ( >= ( + hot_width ( * -1.0 back_ground_width ) ) 0.0 )
38 ( <= ( + main_body_holder_width ( * -1.0 back_ground_width ) ) 0.0 )
39 ( >= ( + main_body_holder_width ( * -1.0 back_ground_width ) ) 0.0 )
40 ( <= ( + title_bg_y ( * -1.0 back_ground_y ) ) 0.0 )
41 ( >= ( + title_bg_y ( * -1.0 back_ground_y ) ) 0.0 )
42 ( <= ( + main_body_holder_y main_body_holder_hight ( * -1.0 back_ground_hight ) ( * -1.0 back_ground_y ) ) 0.0 )
43 ( >= ( + main_body_holder_y main_body_holder_hight ( * -1.0 back_ground_hight ) ( * -1.0 back_ground_y ) ) 0.0 )
44 ( <= ( + title_bg_y title_bg_hight ( * -1.0 back_ground_hight ) ( * -1.0 back_ground_y ) ) 0.0 )
45 ( >= ( + hot_y ( * -1.0 back_ground_y ) ) 0.0 )
46 ( <= ( + hot_y ( * -1.0 back_ground_hight ) ( * -1.0 back_ground_y ) ) -100.0 )
47 ( >= ( + main_body_holder_y ( * -1.0 back_ground_y ) ) 0.0 )
48 ( >= title_top_y 0.0 )
49 ( >= title_top_width 0.0 )
50 ( >= title_icon_y 0.0 )
51 ( <= ( + title_top_y ( * -1.0 title_icon_y ) ) -80.0 )
52 ( >= ( + title_top_y ( * -1.0 title_icon_y ) ) -80.0 )
53 ( <= ( + title_top_y ( * -1.0 title_bg_y ) ( * -1.0 title_bg_hight ) ) -80.0 )
54 ( >= title_bg_width 250.0 )
55 ( <= ( + title_bg_y ( * -1.0 title_icon_y ) ) 0.0 )
56 ( >= ( + title_bg_y title_bg_hight ( * -1.0 title_icon_y ) ) 100.0 )
57 ( <= ( + title_top_y ( * -1.0 title_bg_y ) ) 0.0 )
58 ( >= ( + title_top_y ( * -1.0 title_bg_y ) ) 0.0 )
59 ( <= ( + title_bg_y title_bg_hight ( * -1.0 title_icon_y ) ) 100.0 )
60 ( <= title_icon_width 150.0 )
61 ( >= title_icon_width 150.0 )
62 ( <= title_icon_hight 100.0 )
63 ( >= title_icon_hight 100.0 )
64 ( <= title_icon_x 100.0 )
65 ( >= title_icon_x 100.0 )
66 ( >= title_button_left_y 0.0 )
67 ( >= title_button_left_width 0.0 )
68 ( >= title_button_left_hight 0.0 )
69 ( >= title_search_x 0.0 )
70 ( >= title_search_y 0.0 )
71 ( >= title_search_width 0.0 )
72 ( >= title_search_hight 0.0 )
73 ( >= title_button_right_x 0.0 )
74 ( >= title_button_right_y 0.0 )
75 ( >= title_button_right_width 0.0 )
76 ( >= title_button_right_hight 0.0 )
77 ( >= submit_x 0.0 )
78 ( >= submit_y 0.0 )
79 ( >= submit_hight 0.0 )
80 ( <= title_top_hight 80.0 )
81 ( >= title_top_hight 80.0 )
82 ( <= title_button_left_x 10.0 )
83 ( >= title_button_left_x 10.0 )
84 ( <= ( + submit_x ( * -1.0 title_top_width ) ) -110.0 )
85 ( >= ( + submit_x ( * -1.0 title_top_width ) ) -110.0 )
86 ( <= ( + title_button_left_y ( * -1.0 title_top_y ) ) 10.0 )
87 ( >= ( + title_button_left_y ( * -1.0 title_top_y ) ) 10.0 )
88 ( <= ( + title_search_y ( * -1.0 title_top_y ) ) 10.0 )
89 ( >= ( + title_search_y ( * -1.0 title_top_y ) ) 10.0 )
90 ( <= ( + title_button_right_y ( * -1.0 title_top_y ) ) 10.0 )
91 ( >= ( + title_button_right_y ( * -1.0 title_top_y ) ) 10.0 )
92 ( <= ( + title_top_y ( * -1.0 submit_y ) ) -10.0 )
93 ( >= ( + title_top_y ( * -1.0 submit_y ) ) -10.0 )
94 ( <= ( + title_button_left_hight title_button_left_y ( * -1.0 title_top_y ) ) 70.0 )
95 ( >= ( + title_button_left_hight title_button_left_y ( * -1.0 title_top_y ) ) 70.0 )
96 ( <= ( + title_search_y title_search_hight ( * -1.0 title_top_y ) ) 70.0 )
97 ( >= ( + title_search_y title_search_hight ( * -1.0 title_top_y ) ) 70.0 )
98 ( <= ( + title_button_right_y title_button_right_hight ( * -1.0 title_top_y ) ) 70.0 )
99 ( >= ( + title_button_right_y title_button_right_hight ( * -1.0 title_top_y ) ) 70.0 )
100 ( <= ( + title_top_y ( * -1.0 submit_y ) ( * -1.0 submit_hight ) ) -70.0 )
101 ( >= ( + title_top_y ( * -1.0 submit_y ) ( * -1.0 submit_hight ) ) -70.0 )
102 ( >= ( + title_search_x ( * -1.0 title_button_left_x ) ( * -1.0 title_button_left_width ) ) 10.0 )
103 ( >= ( + title_button_right_x ( * -1.0 title_search_x ) ( * -1.0 title_search_width ) ) 10.0 )
104 ( >= ( + title_top_width ( * -1.0 title_button_left_x ) ( * -1.0 title_button_left_width ) ) 10.0 )
105 ( >= title_search_x 10.0 )
106 ( <= ( + title_search_x title_search_width ( * -1.0 title_top_width ) ) -10.0 )
107 ( >= title_button_right_x 10.0 )
108 ( <= ( + title_button_right_width title_button_right_x ( * -1.0 title_top_width ) ) -10.0 )
109 ( >= submit_x 10.0 )
110 ( >= ( + title_search_x ( * -1.0 title_button_left_x ) ( * -1.0 title_button_left_width ) ) 0.0 )
111 ( >= ( + title_button_right_x ( * -1.0 title_search_x ) ( * -1.0 title_search_width ) ) 0.0 )
112 ( <= title_top_x 0.0 )
113 ( >= title_top_x 0.0 )
114 ( <= ( + title_top_x title_top_width ( * -1.0 title_bg_width ) ) 0.0 )
115 ( >= ( + title_top_x title_top_width ( * -1.0 title_bg_width ) ) 0.0 )
116 ( <= submit_width 100.0 )
117 ( >= submit_width 100.0 )
118 ( >= title_button_left_kid_0_x 0.0 )
119 ( >= title_button_left_kid_0_y 0.0 )
120 ( >= title_button_left_kid_0_hight 0.0 )
121 ( >= title_button_left_kid_1_x 0.0 )
122 ( >= title_button_left_kid_1_y 0.0 )
123 ( >= title_button_left_kid_1_width 0.0 )
124 ( >= title_button_left_kid_1_hight 0.0 )
125 ( >= title_button_left_kid_2_x 0.0 )
126 ( >= title_button_left_kid_2_y 0.0 )
127 ( >= title_button_left_kid_2_width 0.0 )
128 ( >= title_button_left_kid_2_hight 0.0 )
129 ( >= title_button_left_kid_3_x 0.0 )
130 ( >= title_button_left_kid_3_y 0.0 )
131 ( >= title_button_left_kid_3_width 0.0 )
132 ( >= title_button_left_kid_3_hight 0.0 )
133 ( >= title_button_left_kid_4_x 0.0 )
134 ( >= title_button_left_kid_4_y 0.0 )
135 ( >= title_button_left_kid_4_width 0.0 )
136 ( >= title_button_left_kid_4_hight 0.0 )
137 ( >= title_button_left_kid_5_x 0.0 )
138 ( >= title_button_left_kid_5_y 0.0 )
139 ( >= title_button_left_kid_5_width 0.0 )
140 ( >= title_button_left_kid_5_hight 0.0 )
141 ( >= title_button_left_kid_6_x 0.0 )
142 ( >= title_button_left_kid_6_y 0.0 )
143 ( >= title_button_left_kid_6_width 0.0 )
144 ( >= title_button_left_kid_6_hight 0.0 )
145 ( >= title_button_left_kid_7_x 0.0 )
146 ( >= title_button_left_kid_7_y 0.0 )
147 ( >= title_button_left_kid_7_width 0.0 )
148 ( >= title_button_left_kid_7_hight 0.0 )
149 ( >= title_button_left_kid_8_x 0.0 )
150 ( >= title_button_left_kid_8_y 0.0 )
151 ( >= title_button_left_kid_8_hight 0.0 )
152 ( <= ( + title_button_left_kid_1_width ( * -1.0 title_button_left_kid_0_width ) ) 0.0 )
153 ( >= ( + title_button_left_kid_1_width ( * -1.0 title_button_left_kid_0_width ) ) 0.0 )
154 ( <= ( + title_button_left_kid_2_width ( * -1.0 title_button_left_kid_0_width ) ) 0.0 )
155 ( >= ( + title_button_left_kid_2_width ( * -1.0 title_button_left_kid_0_width ) ) 0.0 )
156 ( <= ( + title_button_left_kid_3_width ( * -1.0 title_button_left_kid_0_width ) ) 0.0 )
157 ( >= ( + title_button_left_kid_3_width ( * -1.0 title_button_left_kid_0_width ) ) 0.0 )
158 ( <= ( + title_button_left_kid_4_width ( * -1.0 title_button_left_kid_0_width ) ) 0.0 )
159 ( >= ( + title_button_left_kid_4_width ( * -1.0 title_button_left_kid_0_width ) ) 0.0 )
160 ( <= ( + title_button_left_kid_5_width ( * -1.0 title_button_left_kid_0_width ) ) 0.0 )
161 ( >= ( + title_button_left_kid_5_width ( * -1.0 title_button_left_kid_0_width ) ) 0.0 )
162 ( <= ( + title_button_left_kid_6_width ( * -1.0 title_button_left_kid_0_width ) ) 0.0 )
163 ( >= ( + title_button_left_kid_6_width ( * -1.0 title_button_left_kid_0_width ) ) 0.0 )
164 ( <= ( + title_button_left_kid_7_width ( * -1.0 title_button_left_kid_0_width ) ) 0.0 )
165 ( >= ( + title_button_left_kid_7_width ( * -1.0 title_button_left_kid_0_width ) ) 0.0 )
166 ( <= title_button_left_kid_8_width 40.0 )
167 ( >= title_button_left_kid_8_width 40.0 )
168 ( <= title_button_left_kid_0_width 40.0 )
169 ( >= title_button_left_kid_0_width 40.0 )
170 ( <= ( + title_button_left_kid_1_x ( * -1.0 title_button_left_kid_0_x ) ( * -1.0 title_button_left_kid_0_width ) ) 20.0 )
171 ( >= ( + title_button_left_kid_1_x ( * -1.0 title_button_left_kid_0_x ) ( * -1.0 title_button_left_kid_0_width ) ) 20.0 )
172 ( <= ( + title_button_left_kid_2_x ( * -1.0 title_button_left_kid_1_x ) ( * -1.0 title_button_left_kid_1_width ) ) 20.0 )
173 ( >= ( + title_button_left_kid_2_x ( * -1.0 title_button_left_kid_1_x ) ( * -1.0 title_button_left_kid_1_width ) ) 20.0 )
174 ( <= ( + title_button_left_kid_3_x ( * -1.0 title_button_left_kid_2_x ) ( * -1.0 title_button_left_kid_2_width ) ) 20.0 )
175 ( >= ( + title_button_left_kid_3_x ( * -1.0 title_button_left_kid_2_x ) ( * -1.0 title_button_left_kid_2_width ) ) 20.0 )
176 ( <= ( + title_button_left_kid_4_x ( * -1.0 title_button_left_kid_3_x ) ( * -1.0 title_button_left_kid_3_width ) ) 20.0 )
177 ( >= ( + title_button_left_kid_4_x ( * -1.0 title_button_left_kid_3_x ) ( * -1.0 title_button_left_kid_3_width ) ) 20.0 )
178 ( <= ( + title_button_left_kid_5_x ( * -1.0 title_button_left_kid_4_x ) ( * -1.0 title_button_left_kid_4_width ) ) 20.0 )
179 ( >= ( + title_button_left_kid_5_x ( * -1.0 title_button_left_kid_4_x ) ( * -1.0 title_button_left_kid_4_width ) ) 20.0 )
180 ( <= ( + title_button_left_kid_6_x ( * -1.0 title_button_left_kid_5_width ) ( * -1.0 title_button_left_kid_5_x ) ) 20.0 )
181 ( >= ( + title_button_left_kid_6_x ( * -1.0 title_button_left_kid_5_width ) ( * -1.0 title_button_left_kid_5_x ) ) 20.0 )
182 ( <= ( + title_button_left_kid_7_x ( * -1.0 title_button_left_kid_6_width ) ( * -1.0 title_button_left_kid_6_x ) ) 20.0 )
183 ( >= ( + title_button_left_kid_7_x ( * -1.0 title_button_left_kid_6_width ) ( * -1.0 title_button_left_kid_6_x ) ) 20.0 )
184 ( <= ( + title_button_left_kid_8_x ( * -1.0 title_button_left_kid_7_x ) ( * -1.0 title_button_left_kid_7_width ) ) 20.0 )
185 ( >= ( + title_button_left_kid_8_x ( * -1.0 title_button_left_kid_7_x ) ( * -1.0 title_button_left_kid_7_width ) ) 20.0 )
186 ( <= ( + title_button_left_x ( * -1.0 title_button_left_kid_0_x ) ) -10.0 )
187 ( >= ( + title_button_left_x ( * -1.0 title_button_left_kid_0_x ) ) -10.0 )
188 ( <= ( + title_button_left_x title_button_left_width ( * -1.0 title_button_left_kid_8_x ) ( * -1.0 title_button_left_kid_8_width ) ) 10.0 )
189 ( >= ( + title_button_left_x title_button_left_width ( * -1.0 title_button_left_kid_8_x ) ( * -1.0 title_button_left_kid_8_width ) ) 10.0 )
190 ( <= ( + title_button_left_y ( * -1.0 title_button_left_kid_0_y ) ) -10.0 )
191 ( >= ( + title_button_left_y ( * -1.0 title_button_left_kid_0_y ) ) -10.0 )
192 ( <= ( + title_button_left_y ( * -1.0 title_button_left_kid_1_y ) ) -10.0 )
193 ( >= ( + title_button_left_y ( * -1.0 title_button_left_kid_1_y ) ) -10.0 )
194 ( <= ( + title_button_left_y ( * -1.0 title_button_left_kid_2_y ) ) -10.0 )
195 ( >= ( + title_button_left_y ( * -1.0 title_button_left_kid_2_y ) ) -10.0 )
196 ( <= ( + title_button_left_y ( * -1.0 title_button_left_kid_3_y ) ) -10.0 )
197 ( >= ( + title_button_left_y ( * -1.0 title_button_left_kid_3_y ) ) -10.0 )
198 ( <= ( + title_button_left_y ( * -1.0 title_button_left_kid_4_y ) ) -10.0 )
199 ( >= ( + title_button_left_y ( * -1.0 title_button_left_kid_4_y ) ) -10.0 )
200 ( <= ( + title_button_left_y ( * -1.0 title_button_left_kid_5_y ) ) -10.0 )
201 ( >= ( + title_button_left_y ( * -1.0 title_button_left_kid_5_y ) ) -10.0 )
202 ( <= ( + title_button_left_y ( * -1.0 title_button_left_kid_6_y ) ) -10.0 )
203 ( >= ( + title_button_left_y ( * -1.0 title_button_left_kid_6_y ) ) -10.0 )
204 ( <= ( + title_button_left_y ( * -1.0 title_button_left_kid_7_y ) ) -10.0 )
205 ( >= ( + title_button_left_y ( * -1.0 title_button_left_kid_7_y ) ) -10.0 )
206 ( <= ( + title_button_left_kid_8_y ( * -1.0 title_button_left_y ) ) 10.0 )
207 ( >= ( + title_button_left_kid_8_y ( * -1.0 title_button_left_y ) ) 10.0 )
208 ( <= ( + title_button_left_hight title_button_left_y ( * -1.0 title_button_left_kid_0_y ) ( * -1.0 title_button_left_kid_0_hight ) ) 10.0 )
209 ( >= ( + title_button_left_hight title_button_left_y ( * -1.0 title_button_left_kid_0_y ) ( * -1.0 title_button_left_kid_0_hight ) ) 10.0 )
210 ( <= ( + title_button_left_hight title_button_left_y ( * -1.0 title_button_left_kid_1_y ) ( * -1.0 title_button_left_kid_1_hight ) ) 10.0 )
211 ( >= ( + title_button_left_hight title_button_left_y ( * -1.0 title_button_left_kid_1_y ) ( * -1.0 title_button_left_kid_1_hight ) ) 10.0 )
212 ( <= ( + title_button_left_hight title_button_left_y ( * -1.0 title_button_left_kid_2_hight ) ( * -1.0 title_button_left_kid_2_y ) ) 10.0 )
213 ( >= ( + title_button_left_hight title_button_left_y ( * -1.0 title_button_left_kid_2_hight ) ( * -1.0 title_button_left_kid_2_y ) ) 10.0 )
214 ( <= ( + title_button_left_hight title_button_left_y ( * -1.0 title_button_left_kid_3_hight ) ( * -1.0 title_button_left_kid_3_y ) ) 10.0 )
215 ( >= ( + title_button_left_hight title_button_left_y ( * -1.0 title_button_left_kid_3_hight ) ( * -1.0 title_button_left_kid_3_y ) ) 10.0 )
216 ( <= ( + title_button_left_hight title_button_left_y ( * -1.0 title_button_left_kid_4_y ) ( * -1.0 title_button_left_kid_4_hight ) ) 10.0 )
217 ( >= ( + title_button_left_hight title_button_left_y ( * -1.0 title_button_left_kid_4_y ) ( * -1.0 title_button_left_kid_4_hight ) ) 10.0 )
218 ( <= ( + title_button_left_hight title_button_left_y ( * -1.0 title_button_left_kid_5_y ) ( * -1.0 title_button_left_kid_5_hight ) ) 10.0 )
219 ( >= ( + title_button_left_hight title_button_left_y ( * -1.0 title_button_left_kid_5_y ) ( * -1.0 title_button_left_kid_5_hight ) ) 10.0 )
220 ( <= ( + title_button_left_hight title_button_left_y ( * -1.0 title_button_left_kid_6_y ) ( * -1.0 title_button_left_kid_6_hight ) ) 10.0 )
221 ( >= ( + title_button_left_hight title_button_left_y ( * -1.0 title_button_left_kid_6_y ) ( * -1.0 title_button_left_kid_6_hight ) ) 10.0 )
222 ( <= ( + title_button_left_hight title_button_left_y ( * -1.0 title_button_left_kid_7_y ) ( * -1.0 title_button_left_kid_7_hight ) ) 10.0 )
223 ( >= ( + title_button_left_hight title_button_left_y ( * -1.0 title_button_left_kid_7_y ) ( * -1.0 title_button_left_kid_7_hight ) ) 10.0 )
224 ( <= ( + title_button_left_kid_8_y ( * -1.0 title_button_left_hight ) title_button_left_kid_8_hight ( * -1.0 title_button_left_y ) ) -10.0 )
225 ( >= ( + title_button_left_kid_8_y ( * -1.0 title_button_left_hight ) title_button_left_kid_8_hight ( * -1.0 title_button_left_y ) ) -10.0 )
226 ( >= ( + title_button_left_x title_button_left_width ( * -1.0 title_button_left_kid_0_x ) ( * -1.0 title_button_left_kid_0_width ) ) 10.0 )
227 ( <= ( + title_button_left_x ( * -1.0 title_button_left_kid_1_x ) ) -10.0 )
228 ( >= ( + title_button_left_x title_button_left_width ( * -1.0 title_button_left_kid_1_x ) ( * -1.0 title_button_left_kid_1_width ) ) 10.0 )
229 ( <= ( + title_button_left_x ( * -1.0 title_button_left_kid_2_x ) ) -10.0 )
230 ( >= ( + title_button_left_x title_button_left_width ( * -1.0 title_button_left_kid_2_x ) ( * -1.0 title_button_left_kid_2_width ) ) 10.0 )
231 ( <= ( + title_button_left_x ( * -1.0 title_button_left_kid_3_x ) ) -10.0 )
232 ( >= ( + title_button_left_x title_button_left_width ( * -1.0 title_button_left_kid_3_x ) ( * -1.0 title_button_left_kid_3_width ) ) 10.0 )
233 ( <= ( + title_button_left_x ( * -1.0 title_button_left_kid_4_x ) ) -10.0 )
234 ( >= ( + title_button_left_x title_button_left_width ( * -1.0 title_button_left_kid_4_x ) ( * -1.0 title_button_left_kid_4_width ) ) 10.0 )
235 ( <= ( + title_button_left_x ( * -1.0 title_button_left_kid_5_x ) ) -10.0 )
236 ( >= ( + title_button_left_x title_button_left_width ( * -1.0 title_button_left_kid_5_width ) ( * -1.0 title_button_left_kid_5_x ) ) 10.0 )
237 ( <= ( + title_button_left_x ( * -1.0 title_button_left_kid_6_x ) ) -10.0 )
238 ( >= ( + title_button_left_x title_button_left_width ( * -1.0 title_button_left_kid_6_width ) ( * -1.0 title_button_left_kid_6_x ) ) 10.0 )
239 ( <= ( + title_button_left_x ( * -1.0 title_button_left_kid_7_x ) ) -10.0 )
240 ( >= ( + title_button_left_x title_button_left_width ( * -1.0 title_button_left_kid_7_x ) ( * -1.0 title_button_left_kid_7_width ) ) 10.0 )
241 ( <= ( + title_button_left_x ( * -1.0 title_button_left_kid_8_x ) ) -10.0 )
242 ( >= title_button_right_kid_0_x 0.0 )
243 ( >= title_button_right_kid_0_y 0.0 )
244 ( >= title_button_right_kid_0_hight 0.0 )
245 ( >= title_button_right_kid_1_x 0.0 )
246 ( >= title_button_right_kid_1_y 0.0 )
247 ( >= title_button_right_kid_1_width 0.0 )
248 ( >= title_button_right_kid_1_hight 0.0 )
249 ( >= title_button_right_kid_2_x 0.0 )
250 ( >= title_button_right_kid_2_y 0.0 )
251 ( >= title_button_right_kid_2_width 0.0 )
252 ( >= title_button_right_kid_2_hight 0.0 )
253 ( >= title_button_right_kid_3_x 0.0 )
254 ( >= title_button_right_kid_3_y 0.0 )
255 ( >= title_button_right_kid_3_width 0.0 )
256 ( >= title_button_right_kid_3_hight 0.0 )
257 ( >= title_button_right_kid_4_x 0.0 )
258 ( >= title_button_right_kid_4_y 0.0 )
259 ( >= title_button_right_kid_4_width 0.0 )
260 ( >= title_button_right_kid_4_hight 0.0 )
261 ( >= title_button_right_kid_5_x 0.0 )
262 ( >= title_button_right_kid_5_y 0.0 )
263 ( >= title_button_right_kid_5_width 0.0 )
264 ( >= title_button_right_kid_5_hight 0.0 )
265 ( >= title_button_right_kid_6_x 0.0 )
266 ( >= title_button_right_kid_6_y 0.0 )
267 ( >= title_button_right_kid_6_hight 0.0 )
268 ( <= ( + title_button_right_kid_1_width ( * -1.0 title_button_right_kid_0_width ) ) 0.0 )
269 ( >= ( + title_button_right_kid_1_width ( * -1.0 title_button_right_kid_0_width ) ) 0.0 )
270 ( <= ( + title_button_right_kid_2_width ( * -1.0 title_button_right_kid_0_width ) ) 0.0 )
271 ( >= ( + title_button_right_kid_2_width ( * -1.0 title_button_right_kid_0_width ) ) 0.0 )
272 ( <= ( + title_button_right_kid_3_width ( * -1.0 title_button_right_kid_0_width ) ) 0.0 )
273 ( >= ( + title_button_right_kid_3_width ( * -1.0 title_button_right_kid_0_width ) ) 0.0 )
274 ( <= ( + title_button_right_kid_4_width ( * -1.0 title_button_right_kid_0_width ) ) 0.0 )
275 ( >= ( + title_button_right_kid_4_width ( * -1.0 title_button_right_kid_0_width ) ) 0.0 )
276 ( <= ( + title_button_right_kid_5_width ( * -1.0 title_button_right_kid_0_width ) ) 0.0 )
277 ( >= ( + title_button_right_kid_5_width ( * -1.0 title_button_right_kid_0_width ) ) 0.0 )
278 ( <= title_button_right_kid_6_width 40.0 )
279 ( >= title_button_right_kid_6_width 40.0 )
280 ( <= title_button_right_kid_0_width 40.0 )
281 ( >= title_button_right_kid_0_width 40.0 )
282 ( <= ( + title_button_right_x ( * -1.0 title_button_right_kid_0_x ) ) -10.0 )
283 ( >= ( + title_button_right_x ( * -1.0 title_button_right_kid_0_x ) ) -10.0 )
284 ( <= ( + title_button_right_width title_button_right_x ( * -1.0 title_button_right_kid_6_x ) ( * -1.0 title_button_right_kid_6_width ) ) 10.0 )
285 ( >= ( + title_button_right_width title_button_right_x ( * -1.0 title_button_right_kid_6_x ) ( * -1.0 title_button_right_kid_6_width ) ) 10.0 )
286 ( <= ( + title_button_right_y ( * -1.0 title_button_right_kid_0_y ) ) -10.0 )
287 ( >= ( + title_button_right_y ( * -1.0 title_button_right_kid_0_y ) ) -10.0 )
288 ( <= ( + title_button_right_y ( * -1.0 title_button_right_kid_1_y ) ) -10.0 )
289 ( >= ( + title_button_right_y ( * -1.0 title_button_right_kid_1_y ) ) -10.0 )
290 ( <= ( + title_button_right_y ( * -1.0 title_button_right_kid_2_y ) ) -10.0 )
291 ( >= ( + title_button_right_y ( * -1.0 title_button_right_kid_2_y ) ) -10.0 )
292 ( <= ( + title_button_right_y ( * -1.0 title_button_right_kid_3_y ) ) -10.0 )
293 ( >= ( + title_button_right_y ( * -1.0 title_button_right_kid_3_y ) ) -10.0 )
294 ( <= ( + title_button_right_y ( * -1.0 title_button_right_kid_4_y ) ) -10.0 )
295 ( >= ( + title_button_right_y ( * -1.0 title_button_right_kid_4_y ) ) -10.0 )
296 ( <= ( + title_button_right_y ( * -1.0 title_button_right_kid_5_y ) ) -10.0 )
297 ( >= ( + title_button_right_y ( * -1.0 title_button_right_kid_5_y ) ) -10.0 )
298 ( <= ( + title_button_right_y ( * -1.0 title_button_right_kid_6_y ) ) -10.0 )
299 ( >= ( + title_button_right_y ( * -1.0 title_button_right_kid_6_y ) ) -10.0 )
300 ( <= ( + title_button_right_y title_button_right_hight ( * -1.0 title_button_right_kid_0_hight ) ( * -1.0 title_button_right_kid_0_y ) ) 10.0 )
301 ( >= ( + title_button_right_y title_button_right_hight ( * -1.0 title_button_right_kid_0_hight ) ( * -1.0 title_button_right_kid_0_y ) ) 10.0 )
302 ( <= ( + title_button_right_y title_button_right_hight ( * -1.0 title_button_right_kid_1_hight ) ( * -1.0 title_button_right_kid_1_y ) ) 10.0 )
303 ( >= ( + title_button_right_y title_button_right_hight ( * -1.0 title_button_right_kid_1_hight ) ( * -1.0 title_button_right_kid_1_y ) ) 10.0 )
304 ( <= ( + title_button_right_y title_button_right_hight ( * -1.0 title_button_right_kid_2_y ) ( * -1.0 title_button_right_kid_2_hight ) ) 10.0 )
305 ( >= ( + title_button_right_y title_button_right_hight ( * -1.0 title_button_right_kid_2_y ) ( * -1.0 title_button_right_kid_2_hight ) ) 10.0 )
306 ( <= ( + title_button_right_y title_button_right_hight ( * -1.0 title_button_right_kid_3_y ) ( * -1.0 title_button_right_kid_3_hight ) ) 10.0 )
307 ( >= ( + title_button_right_y title_button_right_hight ( * -1.0 title_button_right_kid_3_y ) ( * -1.0 title_button_right_kid_3_hight ) ) 10.0 )
308 ( <= ( + title_button_right_y title_button_right_hight ( * -1.0 title_button_right_kid_4_y ) ( * -1.0 title_button_right_kid_4_hight ) ) 10.0 )
309 ( >= ( + title_button_right_y title_button_right_hight ( * -1.0 title_button_right_kid_4_y ) ( * -1.0 title_button_right_kid_4_hight ) ) 10.0 )
310 ( <= ( + title_button_right_y title_button_right_hight ( * -1.0 title_button_right_kid_5_y ) ( * -1.0 title_button_right_kid_5_hight ) ) 10.0 )
311 ( >= ( + title_button_right_y title_button_right_hight ( * -1.0 title_button_right_kid_5_y ) ( * -1.0 title_button_right_kid_5_hight ) ) 10.0 )
312 ( <= ( + title_button_right_kid_6_hight ( * -1.0 title_button_right_y ) ( * -1.0 title_button_right_hight ) title_button_right_kid_6_y ) -10.0 )
313 ( >= ( + title_button_right_kid_6_hight ( * -1.0 title_button_right_y ) ( * -1.0 title_button_right_hight ) title_button_right_kid_6_y ) -10.0 )
314 ( <= ( + title_button_right_kid_1_x ( * -1.0 title_button_right_kid_0_x ) ( * -1.0 title_button_right_kid_0_width ) ) 20.0 )
315 ( >= ( + title_button_right_kid_1_x ( * -1.0 title_button_right_kid_0_x ) ( * -1.0 title_button_right_kid_0_width ) ) 20.0 )
316 ( <= ( + title_button_right_kid_2_x ( * -1.0 title_button_right_kid_1_x ) ( * -1.0 title_button_right_kid_1_width ) ) 20.0 )
317 ( >= ( + title_button_right_kid_2_x ( * -1.0 title_button_right_kid_1_x ) ( * -1.0 title_button_right_kid_1_width ) ) 20.0 )
318 ( <= ( + title_button_right_kid_3_x ( * -1.0 title_button_right_kid_2_x ) ( * -1.0 title_button_right_kid_2_width ) ) 20.0 )
319 ( >= ( + title_button_right_kid_3_x ( * -1.0 title_button_right_kid_2_x ) ( * -1.0 title_button_right_kid_2_width ) ) 20.0 )
320 ( <= ( + title_button_right_kid_4_x ( * -1.0 title_button_right_kid_3_width ) ( * -1.0 title_button_right_kid_3_x ) ) 20.0 )
321 ( >= ( + title_button_right_kid_4_x ( * -1.0 title_button_right_kid_3_width ) ( * -1.0 title_button_right_kid_3_x ) ) 20.0 )
322 ( <= ( + title_button_right_kid_5_x ( * -1.0 title_button_right_kid_4_x ) ( * -1.0 title_button_right_kid_4_width ) ) 20.0 )
323 ( >= ( + title_button_right_kid_5_x ( * -1.0 title_button_right_kid_4_x ) ( * -1.0 title_button_right_kid_4_width ) ) 20.0 )
324 ( <= ( + title_button_right_kid_6_x ( * -1.0 title_button_right_kid_5_x ) ( * -1.0 title_button_right_kid_5_width ) ) 20.0 )
325 ( >= ( + title_button_right_kid_6_x ( * -1.0 title_button_right_kid_5_x ) ( * -1.0 title_button_right_kid_5_width ) ) 20.0 )
326 ( >= ( + title_button_right_width title_button_right_x ( * -1.0 title_button_right_kid_0_x ) ( * -1.0 title_button_right_kid_0_width ) ) 10.0 )
327 ( <= ( + title_button_right_x ( * -1.0 title_button_right_kid_1_x ) ) -10.0 )
328 ( >= ( + title_button_right_width title_button_right_x ( * -1.0 title_button_right_kid_1_x ) ( * -1.0 title_button_right_kid_1_width ) ) 10.0 )
329 ( <= ( + title_button_right_x ( * -1.0 title_button_right_kid_2_x ) ) -10.0 )
330 ( >= ( + title_button_right_width title_button_right_x ( * -1.0 title_button_right_kid_2_x ) ( * -1.0 title_button_right_kid_2_width ) ) 10.0 )
331 ( <= ( + title_button_right_x ( * -1.0 title_button_right_kid_3_x ) ) -10.0 )
332 ( >= ( + title_button_right_width title_button_right_x ( * -1.0 title_button_right_kid_3_width ) ( * -1.0 title_button_right_kid_3_x ) ) 10.0 )
333 ( <= ( + title_button_right_x ( * -1.0 title_button_right_kid_4_x ) ) -10.0 )
334 ( >= ( + title_button_right_width title_button_right_x ( * -1.0 title_button_right_kid_4_x ) ( * -1.0 title_button_right_kid_4_width ) ) 10.0 )
335 ( <= ( + title_button_right_x ( * -1.0 title_button_right_kid_5_x ) ) -10.0 )
336 ( >= ( + title_button_right_width title_button_right_x ( * -1.0 title_button_right_kid_5_x ) ( * -1.0 title_button_right_kid_5_width ) ) 10.0 )
337 ( <= ( + title_button_right_x ( * -1.0 title_button_right_kid_6_x ) ) -10.0 )
338 ( <= ( + title_button_right_x ( * -1.0 title_button_left_x ) ( * -1.0 title_button_left_width ) ) 520.0 )
339 ( <= title_search_width 500.0 )
340 ( >= title_search_width 500.0 )
341 ( <= ( + title_button_right_x ( * -1.0 title_search_width ) ( * -1.0 title_button_left_x ) ( * -1.0 title_button_left_width ) ) 30.0 )
342 ( >= ( + title_button_right_x ( * -1.0 title_search_width ) ( * -1.0 title_button_left_x ) ( * -1.0 title_button_left_width ) ) 30.0 )
343 ( <= ( + ( * 2.0 title_search_x ) title_search_width ( * -1.0 title_top_width ) ) 0.0 )
344 ( >= ( + ( * 2.0 title_search_x ) title_search_width ( * -1.0 title_top_width ) ) 0.0 )
345 ( >= title_search_kid_0_x 0.0 )
346 ( >= title_search_kid_0_y 0.0 )
347 ( >= title_search_kid_0_width 0.0 )
348 ( >= title_search_kid_0_hight 0.0 )
349 ( >= title_search_kid_1_x 0.0 )
350 ( >= title_search_kid_1_y 0.0 )
351 ( >= title_search_kid_1_hight 0.0 )
352 ( <= ( + title_search_kid_0_x ( * -1.0 title_search_x ) ) 0.0 )
353 ( >= ( + title_search_kid_0_x ( * -1.0 title_search_x ) ) 0.0 )
354 ( <= ( + title_search_kid_1_x ( * -1.0 title_search_x ) ( * -1.0 title_search_width ) ) -60.0 )
355 ( >= ( + title_search_kid_1_x ( * -1.0 title_search_x ) ( * -1.0 title_search_width ) ) -60.0 )
356 ( <= ( + title_search_y ( * -1.0 title_search_kid_0_y ) ) 0.0 )
357 ( >= ( + title_search_y ( * -1.0 title_search_kid_0_y ) ) 0.0 )
358 ( <= ( + title_search_y ( * -1.0 title_search_kid_1_y ) ) 0.0 )
359 ( >= ( + title_search_y ( * -1.0 title_search_kid_1_y ) ) 0.0 )
360 ( <= ( + title_search_y title_search_hight ( * -1.0 title_search_kid_0_y ) ( * -1.0 title_search_kid_0_hight ) ) 0.0 )
361 ( >= ( + title_search_y title_search_hight ( * -1.0 title_search_kid_0_y ) ( * -1.0 title_search_kid_0_hight ) ) 0.0 )
362 ( <= ( + title_search_kid_1_hight ( * -1.0 title_search_y ) title_search_kid_1_y ( * -1.0 title_search_hight ) ) 0.0 )
363 ( >= ( + title_search_kid_1_hight ( * -1.0 title_search_y ) title_search_kid_1_y ( * -1.0 title_search_hight ) ) 0.0 )
364 ( <= ( + title_search_kid_0_x title_search_kid_0_width ( * -1.0 title_search_kid_1_x ) ) 0.0 )
365 ( >= ( + title_search_kid_0_x title_search_kid_0_width ( * -1.0 title_search_kid_1_x ) ) 0.0 )
366 ( <= title_search_kid_1_width 60.0 )
367 ( >= title_search_kid_1_width 60.0 )
368 ( <= ( + title_button_right_width ( * -1.0 submit_x ) title_button_right_x ) -10.0 )
369 ( >= ( + title_button_right_width ( * -1.0 submit_x ) title_button_right_x ) -10.0 )
370 ( >= icon_1_y 0.0 )
371 ( >= icon_1_hight 0.0 )
372 ( >= icon_2_y 0.0 )
373 ( >= icon_2_hight 0.0 )
374 ( >= hot_table_1_x 0.0 )
375 ( >= hot_table_1_y 0.0 )
376 ( >= hot_table_1_width 0.0 )
377 ( >= hot_table_1_hight 0.0 )
378 ( >= hot_table_2_x 0.0 )
379 ( >= hot_table_2_y 0.0 )
380 ( >= hot_table_2_width 0.0 )
381 ( >= hot_table_2_hight 0.0 )
382 ( <= icon_2_x 110.0 )
383 ( >= icon_2_x 110.0 )
384 ( <= ( + hot_table_1_x ( * -1.0 icon_2_x ) ) 100.0 )
385 ( >= ( + hot_table_1_x ( * -1.0 icon_2_x ) ) 100.0 )
386 ( <= ( + hot_table_2_x ( * -1.0 hot_table_1_x ) ( * -1.0 hot_table_1_width ) ) 20.0 )
387 ( >= ( + hot_table_2_x ( * -1.0 hot_table_1_x ) ( * -1.0 hot_table_1_width ) ) 20.0 )
388 ( <= icon_1_x 10.0 )
389 ( >= icon_1_x 10.0 )
390 ( <= ( + hot_table_2_x hot_table_2_width ( * -1.0 hot_width ) ) -10.0 )
391 ( >= ( + hot_table_2_x hot_table_2_width ( * -1.0 hot_width ) ) -10.0 )
392 ( <= ( + hot_y ( * -1.0 icon_1_y ) ) -10.0 )
393 ( >= ( + hot_y ( * -1.0 icon_1_y ) ) -10.0 )
394 ( <= ( + hot_y ( * -1.0 icon_2_y ) ) -10.0 )
395 ( >= ( + hot_y ( * -1.0 icon_2_y ) ) -10.0 )
396 ( <= ( + hot_table_1_y ( * -1.0 hot_y ) ) 10.0 )
397 ( >= ( + hot_table_1_y ( * -1.0 hot_y ) ) 10.0 )
398 ( <= ( + hot_table_2_y ( * -1.0 hot_y ) ) 10.0 )
399 ( >= ( + hot_table_2_y ( * -1.0 hot_y ) ) 10.0 )
400 ( <= ( + hot_y ( * -1.0 icon_1_y ) ( * -1.0 icon_1_hight ) ) -90.0 )
401 ( >= ( + hot_y ( * -1.0 icon_1_y ) ( * -1.0 icon_1_hight ) ) -90.0 )
402 ( <= ( + hot_y ( * -1.0 icon_2_y ) ( * -1.0 icon_2_hight ) ) -90.0 )
403 ( >= ( + hot_y ( * -1.0 icon_2_y ) ( * -1.0 icon_2_hight ) ) -90.0 )
404 ( <= ( + hot_table_1_y hot_table_1_hight ( * -1.0 hot_y ) ) 90.0 )
405 ( >= ( + hot_table_1_y hot_table_1_hight ( * -1.0 hot_y ) ) 90.0 )
406 ( <= ( + hot_table_2_y hot_table_2_hight ( * -1.0 hot_y ) ) 90.0 )
407 ( >= ( + hot_table_2_y hot_table_2_hight ( * -1.0 hot_y ) ) 90.0 )
408 ( <= hot_hight 100.0 )
409 ( >= hot_hight 100.0 )
410 ( >= hot_width 100.0 )
411 ( >= icon_2_x 10.0 )
412 ( >= ( + hot_width ( * -1.0 icon_2_x ) ) 90.0 )
413 ( >= hot_table_1_x 10.0 )
414 ( <= ( + hot_table_1_x hot_table_1_width ( * -1.0 hot_width ) ) -10.0 )
415 ( >= hot_table_2_x 10.0 )
416 ( <= icon_1_width 80.0 )
417 ( >= icon_1_width 80.0 )
418 ( <= icon_2_width 80.0 )
419 ( >= icon_2_width 80.0 )
420 ( <= ( + ( * 5.0 hot_table_1_width ) ( * -3.0 hot_width ) ) -60.0 )
421 ( >= ( + ( * 5.0 hot_table_1_width ) ( * -3.0 hot_width ) ) -60.0 )
422 ( >= hot_table_1_kid_0_x 0.0 )
423 ( >= hot_table_1_kid_0_y 0.0 )
424 ( >= hot_table_1_kid_0_width 0.0 )
425 ( >= hot_table_1_kid_0_hight 0.0 )
426 ( >= hot_table_1_kid_1_x 0.0 )
427 ( >= hot_table_1_kid_1_y 0.0 )
428 ( >= hot_table_1_kid_1_width 0.0 )
429 ( >= hot_table_1_kid_1_hight 0.0 )
430 ( >= hot_table_1_kid_2_x 0.0 )
431 ( >= hot_table_1_kid_2_y 0.0 )
432 ( >= hot_table_1_kid_2_width 0.0 )
433 ( >= hot_table_1_kid_2_hight 0.0 )
434 ( >= hot_table_1_kid_3_x 0.0 )
435 ( >= hot_table_1_kid_3_y 0.0 )
436 ( >= hot_table_1_kid_3_width 0.0 )
437 ( >= hot_table_1_kid_3_hight 0.0 )
438 ( >= hot_table_1_kid_4_x 0.0 )
439 ( >= hot_table_1_kid_4_y 0.0 )
440 ( >= hot_table_1_kid_4_width 0.0 )
441 ( >= hot_table_1_kid_4_hight 0.0 )
442 ( >= hot_table_1_kid_5_x 0.0 )
443 ( >= hot_table_1_kid_5_y 0.0 )
444 ( >= hot_table_1_kid_5_width 0.0 )
445 ( >= hot_table_1_kid_5_hight 0.0 )
446 ( >= hot_table_1_kid_6_x 0.0 )
447 ( >= hot_table_1_kid_6_y 0.0 )
448 ( >= hot_table_1_kid_6_width 0.0 )
449 ( >= hot_table_1_kid_6_hight 0.0 )
450 ( >= hot_table_1_kid_7_x 0.0 )
451 ( >= hot_table_1_kid_7_y 0.0 )
452 ( >= hot_table_1_kid_7_width 0.0 )
453 ( >= hot_table_1_kid_7_hight 0.0 )
454 ( >= hot_table_1_kid_8_x 0.0 )
455 ( >= hot_table_1_kid_8_y 0.0 )
456 ( >= hot_table_1_kid_8_width 0.0 )
457 ( >= hot_table_1_kid_8_hight 0.0 )
458 ( >= hot_table_1_kid_9_x 0.0 )
459 ( >= hot_table_1_kid_9_y 0.0 )
460 ( >= hot_table_1_kid_9_width 0.0 )
461 ( >= hot_table_1_kid_9_hight 0.0 )
462 ( >= hot_table_1_kid_10_x 0.0 )
463 ( >= hot_table_1_kid_10_y 0.0 )
464 ( >= hot_table_1_kid_10_width 0.0 )
465 ( >= hot_table_1_kid_10_hight 0.0 )
466 ( >= hot_table_1_kid_11_x 0.0 )
467 ( >= hot_table_1_kid_11_y 0.0 )
468 ( >= hot_table_1_kid_11_width 0.0 )
469 ( >= hot_table_1_kid_11_hight 0.0 )
470 ( >= hot_table_1_kid_12_x 0.0 )
471 ( >= hot_table_1_kid_12_y 0.0 )
472 ( >= hot_table_1_kid_12_width 0.0 )
473 ( >= hot_table_1_kid_12_hight 0.0 )
474 ( >= hot_table_1_kid_13_x 0.0 )
475 ( >= hot_table_1_kid_13_y 0.0 )
476 ( >= hot_table_1_kid_13_width 0.0 )
477 ( >= hot_table_1_kid_13_hight 0.0 )
478 ( >= hot_table_1_kid_14_x 0.0 )
479 ( >= hot_table_1_kid_14_y 0.0 )
480 ( >= hot_table_1_kid_14_width 0.0 )
481 ( >= hot_table_1_kid_14_hight 0.0 )
482 ( >= hot_table_1_kid_15_x 0.0 )
483 ( >= hot_table_1_kid_15_y 0.0 )
484 ( >= hot_table_1_kid_15_width 0.0 )
485 ( >= hot_table_1_kid_15_hight 0.0 )
486 ( >= hot_table_1_kid_16_x 0.0 )
487 ( >= hot_table_1_kid_16_y 0.0 )
488 ( >= hot_table_1_kid_16_width 0.0 )
489 ( >= hot_table_1_kid_16_hight 0.0 )
490 ( >= hot_table_1_kid_17_x 0.0 )
491 ( >= hot_table_1_kid_17_y 0.0 )
492 ( >= hot_table_1_kid_17_width 0.0 )
493 ( >= hot_table_1_kid_17_hight 0.0 )
494 ( <= ( + hot_table_1_kid_0_x ( * -1.0 hot_table_1_x ) ) 10.0 )
495 ( >= ( + hot_table_1_kid_0_x ( * -1.0 hot_table_1_x ) ) 10.0 )
496 ( <= ( + hot_table_1_kid_0_y ( * -1.0 hot_table_1_y ) ) 10.0 )
497 ( >= ( + hot_table_1_kid_0_y ( * -1.0 hot_table_1_y ) ) 10.0 )
498 ( <= ( + hot_table_1_kid_17_width hot_table_1_kid_17_x ( * -1.0 hot_table_1_x ) ( * -1.0 hot_table_1_width ) ) -10.0 )
499 ( >= ( + hot_table_1_kid_17_width hot_table_1_kid_17_x ( * -1.0 hot_table_1_x ) ( * -1.0 hot_table_1_width ) ) -10.0 )
500 ( <= ( + hot_table_1_kid_17_hight hot_table_1_kid_17_y ( * -1.0 hot_table_1_y ) ( * -1.0 hot_table_1_hight ) ) -10.0 )
501 ( >= ( + hot_table_1_kid_17_hight hot_table_1_kid_17_y ( * -1.0 hot_table_1_y ) ( * -1.0 hot_table_1_hight ) ) -10.0 )
502 ( <= ( + hot_table_1_kid_0_y ( * -1.0 hot_table_1_kid_1_y ) ) 0.0 )
503 ( >= ( + hot_table_1_kid_0_y ( * -1.0 hot_table_1_kid_1_y ) ) 0.0 )
504 ( <= ( + hot_table_1_kid_0_hight ( * -1.0 hot_table_1_kid_1_hight ) ) 0.0 )
505 ( >= ( + hot_table_1_kid_0_hight ( * -1.0 hot_table_1_kid_1_hight ) ) 0.0 )
506 ( <= ( + hot_table_1_kid_0_y ( * -1.0 hot_table_1_kid_2_y ) ) 0.0 )
507 ( >= ( + hot_table_1_kid_0_y ( * -1.0 hot_table_1_kid_2_y ) ) 0.0 )
508 ( <= ( + hot_table_1_kid_0_hight ( * -1.0 hot_table_1_kid_2_hight ) ) 0.0 )
509 ( >= ( + hot_table_1_kid_0_hight ( * -1.0 hot_table_1_kid_2_hight ) ) 0.0 )
510 ( <= ( + hot_table_1_kid_0_y ( * -1.0 hot_table_1_kid_3_y ) ) 0.0 )
511 ( >= ( + hot_table_1_kid_0_y ( * -1.0 hot_table_1_kid_3_y ) ) 0.0 )
512 ( <= ( + hot_table_1_kid_0_hight ( * -1.0 hot_table_1_kid_3_hight ) ) 0.0 )
513 ( >= ( + hot_table_1_kid_0_hight ( * -1.0 hot_table_1_kid_3_hight ) ) 0.0 )
514 ( <= ( + hot_table_1_kid_0_y ( * -1.0 hot_table_1_kid_4_y ) ) 0.0 )
515 ( >= ( + hot_table_1_kid_0_y ( * -1.0 hot_table_1_kid_4_y ) ) 0.0 )
516 ( <= ( + hot_table_1_kid_0_hight ( * -1.0 hot_table_1_kid_4_hight ) ) 0.0 )
517 ( >= ( + hot_table_1_kid_0_hight ( * -1.0 hot_table_1_kid_4_hight ) ) 0.0 )
518 ( <= ( + hot_table_1_kid_0_y ( * -1.0 hot_table_1_kid_5_y ) ) 0.0 )
519 ( >= ( + hot_table_1_kid_0_y ( * -1.0 hot_table_1_kid_5_y ) ) 0.0 )
520 ( <= ( + hot_table_1_kid_0_hight ( * -1.0 hot_table_1_kid_5_hight ) ) 0.0 )
521 ( >= ( + hot_table_1_kid_0_hight ( * -1.0 hot_table_1_kid_5_hight ) ) 0.0 )
522 ( <= ( + hot_table_1_kid_0_y ( * -1.0 hot_table_1_kid_6_y ) ) 0.0 )
523 ( >= ( + hot_table_1_kid_0_y ( * -1.0 hot_table_1_kid_6_y ) ) 0.0 )
524 ( <= ( + hot_table_1_kid_0_hight ( * -1.0 hot_table_1_kid_6_hight ) ) 0.0 )
525 ( >= ( + hot_table_1_kid_0_hight ( * -1.0 hot_table_1_kid_6_hight ) ) 0.0 )
526 ( <= ( + hot_table_1_kid_0_y ( * -1.0 hot_table_1_kid_7_y ) ) 0.0 )
527 ( >= ( + hot_table_1_kid_0_y ( * -1.0 hot_table_1_kid_7_y ) ) 0.0 )
528 ( <= ( + hot_table_1_kid_0_hight ( * -1.0 hot_table_1_kid_7_hight ) ) 0.0 )
529 ( >= ( + hot_table_1_kid_0_hight ( * -1.0 hot_table_1_kid_7_hight ) ) 0.0 )
530 ( <= ( + hot_table_1_kid_0_y ( * -1.0 hot_table_1_kid_8_y ) ) 0.0 )
531 ( >= ( + hot_table_1_kid_0_y ( * -1.0 hot_table_1_kid_8_y ) ) 0.0 )
532 ( <= ( + hot_table_1_kid_0_hight ( * -1.0 hot_table_1_kid_8_hight ) ) 0.0 )
533 ( >= ( + hot_table_1_kid_0_hight ( * -1.0 hot_table_1_kid_8_hight ) ) 0.0 )
534 ( <= ( + hot_table_1_kid_9_y ( * -1.0 hot_table_1_kid_10_y ) ) 0.0 )
535 ( >= ( + hot_table_1_kid_9_y ( * -1.0 hot_table_1_kid_10_y ) ) 0.0 )
536 ( <= ( + hot_table_1_kid_9_hight ( * -1.0 hot_table_1_kid_10_hight ) ) 0.0 )
537 ( >= ( + hot_table_1_kid_9_hight ( * -1.0 hot_table_1_kid_10_hight ) ) 0.0 )
538 ( <= ( + hot_table_1_kid_9_y ( * -1.0 hot_table_1_kid_11_y ) ) 0.0 )
539 ( >= ( + hot_table_1_kid_9_y ( * -1.0 hot_table_1_kid_11_y ) ) 0.0 )
540 ( <= ( + hot_table_1_kid_9_hight ( * -1.0 hot_table_1_kid_11_hight ) ) 0.0 )
541 ( >= ( + hot_table_1_kid_9_hight ( * -1.0 hot_table_1_kid_11_hight ) ) 0.0 )
542 ( <= ( + hot_table_1_kid_9_y ( * -1.0 hot_table_1_kid_12_y ) ) 0.0 )
543 ( >= ( + hot_table_1_kid_9_y ( * -1.0 hot_table_1_kid_12_y ) ) 0.0 )
544 ( <= ( + hot_table_1_kid_9_hight ( * -1.0 hot_table_1_kid_12_hight ) ) 0.0 )
545 ( >= ( + hot_table_1_kid_9_hight ( * -1.0 hot_table_1_kid_12_hight ) ) 0.0 )
546 ( <= ( + hot_table_1_kid_9_y ( * -1.0 hot_table_1_kid_13_y ) ) 0.0 )
547 ( >= ( + hot_table_1_kid_9_y ( * -1.0 hot_table_1_kid_13_y ) ) 0.0 )
548 ( <= ( + hot_table_1_kid_9_hight ( * -1.0 hot_table_1_kid_13_hight ) ) 0.0 )
549 ( >= ( + hot_table_1_kid_9_hight ( * -1.0 hot_table_1_kid_13_hight ) ) 0.0 )
550 ( <= ( + hot_table_1_kid_9_y ( * -1.0 hot_table_1_kid_14_y ) ) 0.0 )
551 ( >= ( + hot_table_1_kid_9_y ( * -1.0 hot_table_1_kid_14_y ) ) 0.0 )
552 ( <= ( + hot_table_1_kid_9_hight ( * -1.0 hot_table_1_kid_14_hight ) ) 0.0 )
553 ( >= ( + hot_table_1_kid_9_hight ( * -1.0 hot_table_1_kid_14_hight ) ) 0.0 )
554 ( <= ( + hot_table_1_kid_9_y ( * -1.0 hot_table_1_kid_15_y ) ) 0.0 )
555 ( >= ( + hot_table_1_kid_9_y ( * -1.0 hot_table_1_kid_15_y ) ) 0.0 )
556 ( <= ( + hot_table_1_kid_9_hight ( * -1.0 hot_table_1_kid_15_hight ) ) 0.0 )
557 ( >= ( + hot_table_1_kid_9_hight ( * -1.0 hot_table_1_kid_15_hight ) ) 0.0 )
558 ( <= ( + hot_table_1_kid_9_y ( * -1.0 hot_table_1_kid_16_y ) ) 0.0 )
559 ( >= ( + hot_table_1_kid_9_y ( * -1.0 hot_table_1_kid_16_y ) ) 0.0 )
560 ( <= ( + hot_table_1_kid_9_hight ( * -1.0 hot_table_1_kid_16_hight ) ) 0.0 )
561 ( >= ( + hot_table_1_kid_9_hight ( * -1.0 hot_table_1_kid_16_hight ) ) 0.0 )
562 ( <= ( + hot_table_1_kid_9_y ( * -1.0 hot_table_1_kid_17_y ) ) 0.0 )
563 ( >= ( + hot_table_1_kid_9_y ( * -1.0 hot_table_1_kid_17_y ) ) 0.0 )
564 ( <= ( + hot_table_1_kid_9_hight ( * -1.0 hot_table_1_kid_17_hight ) ) 0.0 )
565 ( >= ( + hot_table_1_kid_9_hight ( * -1.0 hot_table_1_kid_17_hight ) ) 0.0 )
566 ( <= ( + hot_table_1_kid_0_x ( * -1.0 hot_table_1_kid_9_x ) ) 0.0 )
567 ( >= ( + hot_table_1_kid_0_x ( * -1.0 hot_table_1_kid_9_x ) ) 0.0 )
568 ( <= ( + hot_table_1_kid_0_width ( * -1.0 hot_table_1_kid_9_width ) ) 0.0 )
569 ( >= ( + hot_table_1_kid_0_width ( * -1.0 hot_table_1_kid_9_width ) ) 0.0 )
570 ( <= ( + hot_table_1_kid_1_x ( * -1.0 hot_table_1_kid_10_x ) ) 0.0 )
571 ( >= ( + hot_table_1_kid_1_x ( * -1.0 hot_table_1_kid_10_x ) ) 0.0 )
572 ( <= ( + hot_table_1_kid_1_width ( * -1.0 hot_table_1_kid_10_width ) ) 0.0 )
573 ( >= ( + hot_table_1_kid_1_width ( * -1.0 hot_table_1_kid_10_width ) ) 0.0 )
574 ( <= ( + hot_table_1_kid_2_x ( * -1.0 hot_table_1_kid_11_x ) ) 0.0 )
575 ( >= ( + hot_table_1_kid_2_x ( * -1.0 hot_table_1_kid_11_x ) ) 0.0 )
576 ( <= ( + hot_table_1_kid_2_width ( * -1.0 hot_table_1_kid_11_width ) ) 0.0 )
577 ( >= ( + hot_table_1_kid_2_width ( * -1.0 hot_table_1_kid_11_width ) ) 0.0 )
578 ( <= ( + hot_table_1_kid_3_x ( * -1.0 hot_table_1_kid_12_x ) ) 0.0 )
579 ( >= ( + hot_table_1_kid_3_x ( * -1.0 hot_table_1_kid_12_x ) ) 0.0 )
580 ( <= ( + hot_table_1_kid_3_width ( * -1.0 hot_table_1_kid_12_width ) ) 0.0 )
581 ( >= ( + hot_table_1_kid_3_width ( * -1.0 hot_table_1_kid_12_width ) ) 0.0 )
582 ( <= ( + hot_table_1_kid_4_x ( * -1.0 hot_table_1_kid_13_x ) ) 0.0 )
583 ( >= ( + hot_table_1_kid_4_x ( * -1.0 hot_table_1_kid_13_x ) ) 0.0 )
584 ( <= ( + hot_table_1_kid_4_width ( * -1.0 hot_table_1_kid_13_width ) ) 0.0 )
585 ( >= ( + hot_table_1_kid_4_width ( * -1.0 hot_table_1_kid_13_width ) ) 0.0 )
586 ( <= ( + hot_table_1_kid_5_x ( * -1.0 hot_table_1_kid_14_x ) ) 0.0 )
587 ( >= ( + hot_table_1_kid_5_x ( * -1.0 hot_table_1_kid_14_x ) ) 0.0 )
588 ( <= ( + hot_table_1_kid_5_width ( * -1.0 hot_table_1_kid_14_width ) ) 0.0 )
589 ( >= ( + hot_table_1_kid_5_width ( * -1.0 hot_table_1_kid_14_width ) ) 0.0 )
590 ( <= ( + hot_table_1_kid_6_x ( * -1.0 hot_table_1_kid_15_x ) ) 0.0 )
591 ( >= ( + hot_table_1_kid_6_x ( * -1.0 hot_table_1_kid_15_x ) ) 0.0 )
592 ( <= ( + hot_table_1_kid_6_width ( * -1.0 hot_table_1_kid_15_width ) ) 0.0 )
593 ( >= ( + hot_table_1_kid_6_width ( * -1.0 hot_table_1_kid_15_width ) ) 0.0 )
594 ( <= ( + hot_table_1_kid_7_x ( * -1.0 hot_table_1_kid_16_x ) ) 0.0 )
595 ( >= ( + hot_table_1_kid_7_x ( * -1.0 hot_table_1_kid_16_x ) ) 0.0 )
596 ( <= ( + hot_table_1_kid_7_width ( * -1.0 hot_table_1_kid_16_width ) ) 0.0 )
597 ( >= ( + hot_table_1_kid_7_width ( * -1.0 hot_table_1_kid_16_width ) ) 0.0 )
598 ( <= ( + hot_table_1_kid_8_x ( * -1.0 hot_table_1_kid_17_x ) ) 0.0 )
599 ( >= ( + hot_table_1_kid_8_x ( * -1.0 hot_table_1_kid_17_x ) ) 0.0 )
600 ( <= ( + hot_table_1_kid_8_width ( * -1.0 hot_table_1_kid_17_width ) ) 0.0 )
601 ( >= ( + hot_table_1_kid_8_width ( * -1.0 hot_table_1_kid_17_width ) ) 0.0 )
602 ( <= ( + hot_table_1_kid_0_width ( * -1.0 hot_table_1_kid_1_x ) hot_table_1_kid_0_x ) -10.0 )
603 ( >= ( + hot_table_1_kid_0_width ( * -1.0 hot_table_1_kid_1_x ) hot_table_1_kid_0_x ) -10.0 )
604 ( <= ( + hot_table_1_kid_1_width ( * -1.0 hot_table_1_kid_2_x ) hot_table_1_kid_1_x ) -10.0 )
605 ( >= ( + hot_table_1_kid_1_width ( * -1.0 hot_table_1_kid_2_x ) hot_table_1_kid_1_x ) -10.0 )
606 ( <= ( + hot_table_1_kid_2_width ( * -1.0 hot_table_1_kid_3_x ) hot_table_1_kid_2_x ) -10.0 )
607 ( >= ( + hot_table_1_kid_2_width ( * -1.0 hot_table_1_kid_3_x ) hot_table_1_kid_2_x ) -10.0 )
608 ( <= ( + hot_table_1_kid_3_width ( * -1.0 hot_table_1_kid_4_x ) hot_table_1_kid_3_x ) -10.0 )
609 ( >= ( + hot_table_1_kid_3_width ( * -1.0 hot_table_1_kid_4_x ) hot_table_1_kid_3_x ) -10.0 )
610 ( <= ( + hot_table_1_kid_4_width ( * -1.0 hot_table_1_kid_5_x ) hot_table_1_kid_4_x ) -10.0 )
611 ( >= ( + hot_table_1_kid_4_width ( * -1.0 hot_table_1_kid_5_x ) hot_table_1_kid_4_x ) -10.0 )
612 ( <= ( + hot_table_1_kid_5_width ( * -1.0 hot_table_1_kid_6_x ) hot_table_1_kid_5_x ) -10.0 )
613 ( >= ( + hot_table_1_kid_5_width ( * -1.0 hot_table_1_kid_6_x ) hot_table_1_kid_5_x ) -10.0 )
614 ( <= ( + hot_table_1_kid_6_width ( * -1.0 hot_table_1_kid_7_x ) hot_table_1_kid_6_x ) -10.0 )
615 ( >= ( + hot_table_1_kid_6_width ( * -1.0 hot_table_1_kid_7_x ) hot_table_1_kid_6_x ) -10.0 )
616 ( <= ( + hot_table_1_kid_7_width ( * -1.0 hot_table_1_kid_8_x ) hot_table_1_kid_7_x ) -10.0 )
617 ( >= ( + hot_table_1_kid_7_width ( * -1.0 hot_table_1_kid_8_x ) hot_table_1_kid_7_x ) -10.0 )
618 ( <= ( + hot_table_1_kid_0_hight ( * -1.0 hot_table_1_kid_9_y ) hot_table_1_kid_0_y ) -10.0 )
619 ( >= ( + hot_table_1_kid_0_hight ( * -1.0 hot_table_1_kid_9_y ) hot_table_1_kid_0_y ) -10.0 )
620 ( <= ( + hot_table_1_kid_9_hight ( * -1.0 hot_table_1_kid_0_hight ) ) 0.0 )
621 ( >= ( + hot_table_1_kid_9_hight ( * -1.0 hot_table_1_kid_0_hight ) ) 0.0 )
622 ( <= ( + hot_table_1_kid_0_width ( * -1.0 hot_table_1_kid_1_width ) ) 0.0 )
623 ( >= ( + hot_table_1_kid_0_width ( * -1.0 hot_table_1_kid_1_width ) ) 0.0 )
624 ( <= ( + hot_table_1_kid_0_width ( * -1.0 hot_table_1_kid_2_width ) ) 0.0 )
625 ( >= ( + hot_table_1_kid_0_width ( * -1.0 hot_table_1_kid_2_width ) ) 0.0 )
626 ( <= ( + hot_table_1_kid_0_width ( * -1.0 hot_table_1_kid_3_width ) ) 0.0 )
627 ( >= ( + hot_table_1_kid_0_width ( * -1.0 hot_table_1_kid_3_width ) ) 0.0 )
628 ( <= ( + hot_table_1_kid_0_width ( * -1.0 hot_table_1_kid_4_width ) ) 0.0 )
629 ( >= ( + hot_table_1_kid_0_width ( * -1.0 hot_table_1_kid_4_width ) ) 0.0 )
630 ( <= ( + hot_table_1_kid_0_width ( * -1.0 hot_table_1_kid_5_width ) ) 0.0 )
631 ( >= ( + hot_table_1_kid_0_width ( * -1.0 hot_table_1_kid_5_width ) ) 0.0 )
632 ( <= ( + hot_table_1_kid_0_width ( * -1.0 hot_table_1_kid_6_width ) ) 0.0 )
633 ( >= ( + hot_table_1_kid_0_width ( * -1.0 hot_table_1_kid_6_width ) ) 0.0 )
634 ( <= ( + hot_table_1_kid_0_width ( * -1.0 hot_table_1_kid_7_width ) ) 0.0 )
635 ( >= ( + hot_table_1_kid_0_width ( * -1.0 hot_table_1_kid_7_width ) ) 0.0 )
636 ( <= ( + hot_table_1_kid_8_width ( * -1.0 hot_table_1_kid_0_width ) ) 0.0 )
637 ( >= ( + hot_table_1_kid_8_width ( * -1.0 hot_table_1_kid_0_width ) ) 0.0 )
638 ( >= hot_table_2_kid_0_x 0.0 )
639 ( >= hot_table_2_kid_0_y 0.0 )
640 ( >= hot_table_2_kid_0_width 0.0 )
641 ( >= hot_table_2_kid_0_hight 0.0 )
642 ( >= hot_table_2_kid_1_x 0.0 )
643 ( >= hot_table_2_kid_1_y 0.0 )
644 ( >= hot_table_2_kid_1_width 0.0 )
645 ( >= hot_table_2_kid_1_hight 0.0 )
646 ( >= hot_table_2_kid_2_x 0.0 )
647 ( >= hot_table_2_kid_2_y 0.0 )
648 ( >= hot_table_2_kid_2_width 0.0 )
649 ( >= hot_table_2_kid_2_hight 0.0 )
650 ( >= hot_table_2_kid_3_x 0.0 )
651 ( >= hot_table_2_kid_3_y 0.0 )
652 ( >= hot_table_2_kid_3_width 0.0 )
653 ( >= hot_table_2_kid_3_hight 0.0 )
654 ( >= hot_table_2_kid_4_x 0.0 )
655 ( >= hot_table_2_kid_4_y 0.0 )
656 ( >= hot_table_2_kid_4_width 0.0 )
657 ( >= hot_table_2_kid_4_hight 0.0 )
658 ( >= hot_table_2_kid_5_x 0.0 )
659 ( >= hot_table_2_kid_5_y 0.0 )
660 ( >= hot_table_2_kid_5_width 0.0 )
661 ( >= hot_table_2_kid_5_hight 0.0 )
662 ( <= ( + hot_table_2_kid_0_x ( * -1.0 hot_table_2_x ) ) 10.0 )
663 ( >= ( + hot_table_2_kid_0_x ( * -1.0 hot_table_2_x ) ) 10.0 )
664 ( <= ( + hot_table_2_kid_0_y ( * -1.0 hot_table_2_y ) ) 10.0 )
665 ( >= ( + hot_table_2_kid_0_y ( * -1.0 hot_table_2_y ) ) 10.0 )
666 ( <= ( + hot_table_2_kid_5_width hot_table_2_kid_5_x ( * -1.0 hot_table_2_x ) ( * -1.0 hot_table_2_width ) ) -10.0 )
667 ( >= ( + hot_table_2_kid_5_width hot_table_2_kid_5_x ( * -1.0 hot_table_2_x ) ( * -1.0 hot_table_2_width ) ) -10.0 )
668 ( <= ( + hot_table_2_kid_5_hight hot_table_2_kid_5_y ( * -1.0 hot_table_2_y ) ( * -1.0 hot_table_2_hight ) ) -10.0 )
669 ( >= ( + hot_table_2_kid_5_hight hot_table_2_kid_5_y ( * -1.0 hot_table_2_y ) ( * -1.0 hot_table_2_hight ) ) -10.0 )
670 ( <= ( + hot_table_2_kid_0_y ( * -1.0 hot_table_2_kid_1_y ) ) 0.0 )
671 ( >= ( + hot_table_2_kid_0_y ( * -1.0 hot_table_2_kid_1_y ) ) 0.0 )
672 ( <= ( + hot_table_2_kid_0_hight ( * -1.0 hot_table_2_kid_1_hight ) ) 0.0 )
673 ( >= ( + hot_table_2_kid_0_hight ( * -1.0 hot_table_2_kid_1_hight ) ) 0.0 )
674 ( <= ( + hot_table_2_kid_0_y ( * -1.0 hot_table_2_kid_2_y ) ) 0.0 )
675 ( >= ( + hot_table_2_kid_0_y ( * -1.0 hot_table_2_kid_2_y ) ) 0.0 )
676 ( <= ( + hot_table_2_kid_0_hight ( * -1.0 hot_table_2_kid_2_hight ) ) 0.0 )
677 ( >= ( + hot_table_2_kid_0_hight ( * -1.0 hot_table_2_kid_2_hight ) ) 0.0 )
678 ( <= ( + hot_table_2_kid_3_y ( * -1.0 hot_table_2_kid_4_y ) ) 0.0 )
679 ( >= ( + hot_table_2_kid_3_y ( * -1.0 hot_table_2_kid_4_y ) ) 0.0 )
680 ( <= ( + hot_table_2_kid_3_hight ( * -1.0 hot_table_2_kid_4_hight ) ) 0.0 )
681 ( >= ( + hot_table_2_kid_3_hight ( * -1.0 hot_table_2_kid_4_hight ) ) 0.0 )
682 ( <= ( + hot_table_2_kid_3_y ( * -1.0 hot_table_2_kid_5_y ) ) 0.0 )
683 ( >= ( + hot_table_2_kid_3_y ( * -1.0 hot_table_2_kid_5_y ) ) 0.0 )
684 ( <= ( + hot_table_2_kid_3_hight ( * -1.0 hot_table_2_kid_5_hight ) ) 0.0 )
685 ( >= ( + hot_table_2_kid_3_hight ( * -1.0 hot_table_2_kid_5_hight ) ) 0.0 )
686 ( <= ( + hot_table_2_kid_0_x ( * -1.0 hot_table_2_kid_3_x ) ) 0.0 )
687 ( >= ( + hot_table_2_kid_0_x ( * -1.0 hot_table_2_kid_3_x ) ) 0.0 )
688 ( <= ( + hot_table_2_kid_0_width ( * -1.0 hot_table_2_kid_3_width ) ) 0.0 )
689 ( >= ( + hot_table_2_kid_0_width ( * -1.0 hot_table_2_kid_3_width ) ) 0.0 )
690 ( <= ( + hot_table_2_kid_1_x ( * -1.0 hot_table_2_kid_4_x ) ) 0.0 )
691 ( >= ( + hot_table_2_kid_1_x ( * -1.0 hot_table_2_kid_4_x ) ) 0.0 )
692 ( <= ( + hot_table_2_kid_1_width ( * -1.0 hot_table_2_kid_4_width ) ) 0.0 )
693 ( >= ( + hot_table_2_kid_1_width ( * -1.0 hot_table_2_kid_4_width ) ) 0.0 )
694 ( <= ( + hot_table_2_kid_2_x ( * -1.0 hot_table_2_kid_5_x ) ) 0.0 )
695 ( >= ( + hot_table_2_kid_2_x ( * -1.0 hot_table_2_kid_5_x ) ) 0.0 )
696 ( <= ( + hot_table_2_kid_2_width ( * -1.0 hot_table_2_kid_5_width ) ) 0.0 )
697 ( >= ( + hot_table_2_kid_2_width ( * -1.0 hot_table_2_kid_5_width ) ) 0.0 )
698 ( <= ( + hot_table_2_kid_0_width ( * -1.0 hot_table_2_kid_1_x ) hot_table_2_kid_0_x ) -10.0 )
699 ( >= ( + hot_table_2_kid_0_width ( * -1.0 hot_table_2_kid_1_x ) hot_table_2_kid_0_x ) -10.0 )
700 ( <= ( + hot_table_2_kid_1_width hot_table_2_kid_1_x ( * -1.0 hot_table_2_kid_2_x ) ) -10.0 )
701 ( >= ( + hot_table_2_kid_1_width hot_table_2_kid_1_x ( * -1.0 hot_table_2_kid_2_x ) ) -10.0 )
702 ( <= ( + hot_table_2_kid_0_hight hot_table_2_kid_0_y ( * -1.0 hot_table_2_kid_3_y ) ) -10.0 )
703 ( >= ( + hot_table_2_kid_0_hight hot_table_2_kid_0_y ( * -1.0 hot_table_2_kid_3_y ) ) -10.0 )
704 ( <= ( + hot_table_2_kid_3_hight ( * -1.0 hot_table_2_kid_0_hight ) ) 0.0 )
705 ( >= ( + hot_table_2_kid_3_hight ( * -1.0 hot_table_2_kid_0_hight ) ) 0.0 )
706 ( <= ( + hot_table_2_kid_0_width ( * -1.0 hot_table_2_kid_1_width ) ) 0.0 )
707 ( >= ( + hot_table_2_kid_0_width ( * -1.0 hot_table_2_kid_1_width ) ) 0.0 )
708 ( <= ( + hot_table_2_kid_2_width ( * -1.0 hot_table_2_kid_0_width ) ) 0.0 )
709 ( >= ( + hot_table_2_kid_2_width ( * -1.0 hot_table_2_kid_0_width ) ) 0.0 )
710 ( >= main_body_1_x 0.0 )
711 ( >= main_body_1_y 0.0 )
712 ( >= main_body_1_width 0.0 )
713 ( >= main_body_1_hight 0.0 )
714 ( >= main_body_2_x 0.0 )
715 ( >= main_body_2_y 0.0 )
716 ( >= main_body_2_width 0.0 )
717 ( >= main_body_2_hight 0.0 )
718 main_body_1_feasible
719 ( <= main_body_1_x 0.0 )
720 ( <= ( + main_body_1_width main_body_1_x ( * -1.0 main_body_holder_width ) ) 0.0 )
721 ( >= ( + main_body_1_width main_body_1_x ( * -1.0 main_body_holder_width ) ) 0.0 )
722 ( <= ( + main_body_1_y ( * -1.0 main_body_holder_y ) ) 0.0 )
723 ( >= ( + main_body_1_y ( * -1.0 main_body_holder_y ) ) 0.0 )
724 ( <= ( + main_body_1_y main_body_1_hight ( * -1.0 main_body_holder_y ) ( * -1.0 main_body_holder_hight ) ) 0.0 )
725 ( >= ( + main_body_1_y main_body_1_hight ( * -1.0 main_body_holder_y ) ( * -1.0 main_body_holder_hight ) ) 0.0 )
726 main_body_2_feasible
727 ( <= main_body_2_x 0.0 )
728 ( <= ( + main_body_2_x main_body_2_width ( * -1.0 main_body_holder_width ) ) 0.0 )
729 ( >= ( + main_body_2_x main_body_2_width ( * -1.0 main_body_holder_width ) ) 0.0 )
730 ( <= ( + main_body_2_y ( * -1.0 main_body_holder_y ) ) 0.0 )
731 ( >= ( + main_body_2_y ( * -1.0 main_body_holder_y ) ) 0.0 )
732 ( <= ( + main_body_2_y main_body_2_hight ( * -1.0 main_body_holder_y ) ( * -1.0 main_body_holder_hight ) ) 0.0 )
733 ( >= ( + main_body_2_y main_body_2_hight ( * -1.0 main_body_holder_y ) ( * -1.0 main_body_holder_hight ) ) 0.0 )
734 ( >= main_body_1_top_x 0.0 )
735 ( >= main_body_1_top_y 0.0 )
736 ( >= main_body_1_top_width 0.0 )
737 ( >= main_body_1_top_hight 0.0 )
738 ( >= main_body_1_tbl_x 0.0 )
739 ( >= main_body_1_tbl_y 0.0 )
740 ( >= main_body_1_tbl_width 0.0 )
741 ( >= main_body_1_tbl_hight 0.0 )
742 ( <= ( + main_body_1_top_x ( * -1.0 main_body_1_x ) ) 10.0 )
743 ( >= ( + main_body_1_top_x ( * -1.0 main_body_1_x ) ) 10.0 )
744 ( <= ( + main_body_1_tbl_x ( * -1.0 main_body_1_x ) ) 10.0 )
745 ( >= ( + main_body_1_tbl_x ( * -1.0 main_body_1_x ) ) 10.0 )
746 ( <= ( + main_body_1_top_x main_body_1_top_width ( * -1.0 main_body_1_width ) ( * -1.0 main_body_1_x ) ) -10.0 )
747 ( >= ( + main_body_1_top_x main_body_1_top_width ( * -1.0 main_body_1_width ) ( * -1.0 main_body_1_x ) ) -10.0 )
748 ( <= ( + main_body_1_tbl_x main_body_1_tbl_width ( * -1.0 main_body_1_width ) ( * -1.0 main_body_1_x ) ) -10.0 )
749 ( >= ( + main_body_1_tbl_x main_body_1_tbl_width ( * -1.0 main_body_1_width ) ( * -1.0 main_body_1_x ) ) -10.0 )
750 ( <= ( + main_body_1_top_y ( * -1.0 main_body_1_y ) ) 10.0 )
751 ( >= ( + main_body_1_top_y ( * -1.0 main_body_1_y ) ) 10.0 )
752 ( <= ( + main_body_1_tbl_y main_body_1_tbl_hight ( * -1.0 main_body_1_y ) ( * -1.0 main_body_1_hight ) ) -10.0 )
753 ( >= ( + main_body_1_tbl_y main_body_1_tbl_hight ( * -1.0 main_body_1_y ) ( * -1.0 main_body_1_hight ) ) -10.0 )
754 ( <= ( + main_body_1_top_y main_body_1_top_hight ( * -1.0 main_body_1_tbl_y ) ) -20.0 )
755 ( >= ( + main_body_1_top_y main_body_1_top_hight ( * -1.0 main_body_1_tbl_y ) ) -20.0 )
756 ( <= ( + main_body_1_top_y main_body_1_top_hight ( * -1.0 main_body_1_y ) ( * -1.0 main_body_1_hight ) ) -10.0 )
757 ( >= ( + main_body_1_tbl_y ( * -1.0 main_body_1_y ) ) 10.0 )
758 ( <= ( + main_body_1_top_y main_body_1_top_hight ( * -1.0 main_body_1_tbl_y ) ) 0.0 )
759 ( >= body_item_6_x 0.0 )
760 ( >= body_item_6_y 0.0 )
761 ( >= body_item_6_width 0.0 )
762 ( >= body_item_6_hight 0.0 )
763 ( >= body_item_7_x 0.0 )
764 ( >= body_item_7_y 0.0 )
765 ( >= body_item_7_width 0.0 )
766 ( >= body_item_7_hight 0.0 )
767 ( >= body_item_8_x 0.0 )
768 ( >= body_item_8_y 0.0 )
769 ( >= body_item_8_width 0.0 )
770 ( >= body_item_8_hight 0.0 )
771 ( >= body_item_9_x 0.0 )
772 ( >= body_item_9_y 0.0 )
773 ( >= body_item_9_width 0.0 )
774 ( >= body_item_9_hight 0.0 )
775 ( >= side_item_0_x 0.0 )
776 ( >= side_item_0_y 0.0 )
777 ( >= side_item_0_width 0.0 )
778 ( >= side_item_0_hight 0.0 )
779 ( >= body_item_10_x 0.0 )
780 ( >= body_item_10_y 0.0 )
781 ( >= body_item_10_width 0.0 )
782 ( >= body_item_10_hight 0.0 )
783 ( >= body_item_11_x 0.0 )
784 ( >= body_item_11_y 0.0 )
785 ( >= body_item_11_width 0.0 )
786 ( >= body_item_11_hight 0.0 )
787 ( >= body_item_12_x 0.0 )
788 ( >= body_item_12_y 0.0 )
789 ( >= body_item_12_width 0.0 )
790 ( >= body_item_12_hight 0.0 )
791 ( >= body_item_13_x 0.0 )
792 ( >= body_item_13_y 0.0 )
793 ( >= body_item_13_width 0.0 )
794 ( >= body_item_13_hight 0.0 )
795 ( >= side_item_1_x 0.0 )
796 ( >= side_item_1_y 0.0 )
797 ( >= side_item_1_width 0.0 )
798 ( >= side_item_1_hight 0.0 )
799 ( >= body_item_14_x 0.0 )
800 ( >= body_item_14_y 0.0 )
801 ( >= body_item_14_width 0.0 )
802 ( >= body_item_14_hight 0.0 )
803 ( >= body_item_15_x 0.0 )
804 ( >= body_item_15_y 0.0 )
805 ( >= body_item_15_width 0.0 )
806 ( >= body_item_15_hight 0.0 )
807 ( >= body_item_16_x 0.0 )
808 ( >= body_item_16_y 0.0 )
809 ( >= body_item_16_width 0.0 )
810 ( >= body_item_16_hight 0.0 )
811 ( >= body_item_17_x 0.0 )
812 ( >= body_item_17_y 0.0 )
813 ( >= body_item_17_width 0.0 )
814 ( >= body_item_17_hight 0.0 )
815 ( >= side_item_2_x 0.0 )
816 ( >= side_item_2_y 0.0 )
817 ( >= side_item_2_width 0.0 )
818 ( >= side_item_2_hight 0.0 )
819 ( >= body_item_18_x 0.0 )
820 ( >= body_item_18_y 0.0 )
821 ( >= body_item_18_width 0.0 )
822 ( >= body_item_18_hight 0.0 )
823 ( >= body_item_19_x 0.0 )
824 ( >= body_item_19_y 0.0 )
825 ( >= body_item_19_width 0.0 )
826 ( >= body_item_19_hight 0.0 )
827 ( >= body_item_20_x 0.0 )
828 ( >= body_item_20_y 0.0 )
829 ( >= body_item_20_width 0.0 )
830 ( >= body_item_20_hight 0.0 )
831 ( >= body_item_21_x 0.0 )
832 ( >= body_item_21_y 0.0 )
833 ( >= body_item_21_width 0.0 )
834 ( >= body_item_21_hight 0.0 )
835 ( >= side_item_3_x 0.0 )
836 ( >= side_item_3_y 0.0 )
837 ( >= side_item_3_width 0.0 )
838 ( >= side_item_3_hight 0.0 )
839 ( >= body_item_22_x 0.0 )
840 ( >= body_item_22_y 0.0 )
841 ( >= body_item_22_width 0.0 )
842 ( >= body_item_22_hight 0.0 )
843 ( >= body_item_23_x 0.0 )
844 ( >= body_item_23_y 0.0 )
845 ( >= body_item_23_width 0.0 )
846 ( >= body_item_23_hight 0.0 )
847 ( >= body_item_24_x 0.0 )
848 ( >= body_item_24_y 0.0 )
849 ( >= body_item_24_width 0.0 )
850 ( >= body_item_24_hight 0.0 )
851 ( >= body_item_25_x 0.0 )
852 ( >= body_item_25_y 0.0 )
853 ( >= body_item_25_width 0.0 )
854 ( >= body_item_25_hight 0.0 )
855 ( >= side_item_4_x 0.0 )
856 ( >= side_item_4_y 0.0 )
857 ( >= side_item_4_width 0.0 )
858 ( >= side_item_4_hight 0.0 )
859 main_body_1_tbl_feasible
860 ( <= ( + body_item_6_x ( * -1.0 main_body_1_tbl_x ) ) 0.0 )
861 ( >= ( + body_item_6_x ( * -1.0 main_body_1_tbl_x ) ) 0.0 )
862 ( <= ( + body_item_6_y ( * -1.0 main_body_1_tbl_y ) ) 0.0 )
863 ( >= ( + body_item_6_y ( * -1.0 main_body_1_tbl_y ) ) 0.0 )
864 ( <= ( + side_item_4_width side_item_4_x ( * -1.0 main_body_1_tbl_x ) ( * -1.0 main_body_1_tbl_width ) ) 0.0 )
865 ( >= ( + side_item_4_width side_item_4_x ( * -1.0 main_body_1_tbl_x ) ( * -1.0 main_body_1_tbl_width ) ) 0.0 )
866 ( <= ( + side_item_4_hight side_item_4_y ( * -1.0 main_body_1_tbl_y ) ( * -1.0 main_body_1_tbl_hight ) ) 0.0 )
867 ( >= ( + side_item_4_hight side_item_4_y ( * -1.0 main_body_1_tbl_y ) ( * -1.0 main_body_1_tbl_hight ) ) 0.0 )
868 ( <= ( + body_item_7_y ( * -1.0 body_item_6_y ) ) 0.0 )
869 ( >= ( + body_item_7_y ( * -1.0 body_item_6_y ) ) 0.0 )
870 ( <= ( + body_item_7_hight ( * -1.0 body_item_6_hight ) ) 0.0 )
871 ( >= ( + body_item_7_hight ( * -1.0 body_item_6_hight ) ) 0.0 )
872 ( <= ( + body_item_8_y ( * -1.0 body_item_6_y ) ) 0.0 )
873 ( >= ( + body_item_8_y ( * -1.0 body_item_6_y ) ) 0.0 )
874 ( <= ( + body_item_8_hight ( * -1.0 body_item_6_hight ) ) 0.0 )
875 ( >= ( + body_item_8_hight ( * -1.0 body_item_6_hight ) ) 0.0 )
876 ( <= ( + body_item_9_y ( * -1.0 body_item_6_y ) ) 0.0 )
877 ( >= ( + body_item_9_y ( * -1.0 body_item_6_y ) ) 0.0 )
878 ( <= ( + body_item_9_hight ( * -1.0 body_item_6_hight ) ) 0.0 )
879 ( >= ( + body_item_9_hight ( * -1.0 body_item_6_hight ) ) 0.0 )
880 ( <= ( + side_item_0_y ( * -1.0 body_item_6_y ) ) 0.0 )
881 ( >= ( + side_item_0_y ( * -1.0 body_item_6_y ) ) 0.0 )
882 ( <= ( + side_item_0_hight ( * -1.0 body_item_6_hight ) ) 0.0 )
883 ( >= ( + side_item_0_hight ( * -1.0 body_item_6_hight ) ) 0.0 )
884 ( <= ( + body_item_10_y ( * -1.0 body_item_11_y ) ) 0.0 )
885 ( >= ( + body_item_10_y ( * -1.0 body_item_11_y ) ) 0.0 )
886 ( <= ( + body_item_10_hight ( * -1.0 body_item_11_hight ) ) 0.0 )
887 ( >= ( + body_item_10_hight ( * -1.0 body_item_11_hight ) ) 0.0 )
888 ( <= ( + body_item_10_y ( * -1.0 body_item_12_y ) ) 0.0 )
889 ( >= ( + body_item_10_y ( * -1.0 body_item_12_y ) ) 0.0 )
890 ( <= ( + body_item_10_hight ( * -1.0 body_item_12_hight ) ) 0.0 )
891 ( >= ( + body_item_10_hight ( * -1.0 body_item_12_hight ) ) 0.0 )
892 ( <= ( + body_item_13_y ( * -1.0 body_item_10_y ) ) 0.0 )
893 ( >= ( + body_item_13_y ( * -1.0 body_item_10_y ) ) 0.0 )
894 ( <= ( + body_item_13_hight ( * -1.0 body_item_10_hight ) ) 0.0 )
895 ( >= ( + body_item_13_hight ( * -1.0 body_item_10_hight ) ) 0.0 )
896 ( <= ( + body_item_10_y ( * -1.0 side_item_1_y ) ) 0.0 )
897 ( >= ( + body_item_10_y ( * -1.0 side_item_1_y ) ) 0.0 )
898 ( <= ( + body_item_10_hight ( * -1.0 side_item_1_hight ) ) 0.0 )
899 ( >= ( + body_item_10_hight ( * -1.0 side_item_1_hight ) ) 0.0 )
900 ( <= ( + body_item_15_y ( * -1.0 body_item_14_y ) ) 0.0 )
901 ( >= ( + body_item_15_y ( * -1.0 body_item_14_y ) ) 0.0 )
902 ( <= ( + body_item_15_hight ( * -1.0 body_item_14_hight ) ) 0.0 )
903 ( >= ( + body_item_15_hight ( * -1.0 body_item_14_hight ) ) 0.0 )
904 ( <= ( + body_item_16_y ( * -1.0 body_item_14_y ) ) 0.0 )
905 ( >= ( + body_item_16_y ( * -1.0 body_item_14_y ) ) 0.0 )
906 ( <= ( + body_item_16_hight ( * -1.0 body_item_14_hight ) ) 0.0 )
907 ( >= ( + body_item_16_hight ( * -1.0 body_item_14_hight ) ) 0.0 )
908 ( <= ( + body_item_17_y ( * -1.0 body_item_14_y ) ) 0.0 )
909 ( >= ( + body_item_17_y ( * -1.0 body_item_14_y ) ) 0.0 )
910 ( <= ( + body_item_17_hight ( * -1.0 body_item_14_hight ) ) 0.0 )
911 ( >= ( + body_item_17_hight ( * -1.0 body_item_14_hight ) ) 0.0 )
912 ( <= ( + body_item_14_y ( * -1.0 side_item_2_y ) ) 0.0 )
913 ( >= ( + body_item_14_y ( * -1.0 side_item_2_y ) ) 0.0 )
914 ( <= ( + body_item_14_hight ( * -1.0 side_item_2_hight ) ) 0.0 )
915 ( >= ( + body_item_14_hight ( * -1.0 side_item_2_hight ) ) 0.0 )
916 ( <= ( + body_item_18_y ( * -1.0 body_item_19_y ) ) 0.0 )
917 ( >= ( + body_item_18_y ( * -1.0 body_item_19_y ) ) 0.0 )
918 ( <= ( + body_item_18_hight ( * -1.0 body_item_19_hight ) ) 0.0 )
919 ( >= ( + body_item_18_hight ( * -1.0 body_item_19_hight ) ) 0.0 )
920 ( <= ( + body_item_18_y ( * -1.0 body_item_20_y ) ) 0.0 )
921 ( >= ( + body_item_18_y ( * -1.0 body_item_20_y ) ) 0.0 )
922 ( <= ( + body_item_18_hight ( * -1.0 body_item_20_hight ) ) 0.0 )
923 ( >= ( + body_item_18_hight ( * -1.0 body_item_20_hight ) ) 0.0 )
924 ( <= ( + body_item_18_y ( * -1.0 body_item_21_y ) ) 0.0 )
925 ( >= ( + body_item_18_y ( * -1.0 body_item_21_y ) ) 0.0 )
926 ( <= ( + body_item_18_hight ( * -1.0 body_item_21_hight ) ) 0.0 )
927 ( >= ( + body_item_18_hight ( * -1.0 body_item_21_hight ) ) 0.0 )
928 ( <= ( + body_item_18_y ( * -1.0 side_item_3_y ) ) 0.0 )
929 ( >= ( + body_item_18_y ( * -1.0 side_item_3_y ) ) 0.0 )
930 ( <= ( + body_item_18_hight ( * -1.0 side_item_3_hight ) ) 0.0 )
931 ( >= ( + body_item_18_hight ( * -1.0 side_item_3_hight ) ) 0.0 )
932 ( <= ( + body_item_22_y ( * -1.0 body_item_23_y ) ) 0.0 )
933 ( >= ( + body_item_22_y ( * -1.0 body_item_23_y ) ) 0.0 )
934 ( <= ( + body_item_23_hight ( * -1.0 body_item_22_hight ) ) 0.0 )
935 ( >= ( + body_item_23_hight ( * -1.0 body_item_22_hight ) ) 0.0 )
936 ( <= ( + body_item_22_y ( * -1.0 body_item_24_y ) ) 0.0 )
937 ( >= ( + body_item_22_y ( * -1.0 body_item_24_y ) ) 0.0 )
938 ( <= ( + body_item_24_hight ( * -1.0 body_item_22_hight ) ) 0.0 )
939 ( >= ( + body_item_24_hight ( * -1.0 body_item_22_hight ) ) 0.0 )
940 ( <= ( + body_item_22_y ( * -1.0 body_item_25_y ) ) 0.0 )
941 ( >= ( + body_item_22_y ( * -1.0 body_item_25_y ) ) 0.0 )
942 ( <= ( + body_item_25_hight ( * -1.0 body_item_22_hight ) ) 0.0 )
943 ( >= ( + body_item_25_hight ( * -1.0 body_item_22_hight ) ) 0.0 )
944 ( <= ( + side_item_4_y ( * -1.0 body_item_22_y ) ) 0.0 )
945 ( >= ( + side_item_4_y ( * -1.0 body_item_22_y ) ) 0.0 )
946 ( <= ( + side_item_4_hight ( * -1.0 body_item_22_hight ) ) 0.0 )
947 ( >= ( + side_item_4_hight ( * -1.0 body_item_22_hight ) ) 0.0 )
948 ( <= ( + body_item_6_x ( * -1.0 body_item_10_x ) ) 0.0 )
949 ( >= ( + body_item_6_x ( * -1.0 body_item_10_x ) ) 0.0 )
950 ( <= ( + body_item_6_width ( * -1.0 body_item_10_width ) ) 0.0 )
951 ( >= ( + body_item_6_width ( * -1.0 body_item_10_width ) ) 0.0 )
952 ( <= ( + body_item_6_x ( * -1.0 body_item_14_x ) ) 0.0 )
953 ( >= ( + body_item_6_x ( * -1.0 body_item_14_x ) ) 0.0 )
954 ( <= ( + body_item_6_width ( * -1.0 body_item_14_width ) ) 0.0 )
955 ( >= ( + body_item_6_width ( * -1.0 body_item_14_width ) ) 0.0 )
956 ( <= ( + body_item_6_x ( * -1.0 body_item_18_x ) ) 0.0 )
957 ( >= ( + body_item_6_x ( * -1.0 body_item_18_x ) ) 0.0 )
958 ( <= ( + body_item_6_width ( * -1.0 body_item_18_width ) ) 0.0 )
959 ( >= ( + body_item_6_width ( * -1.0 body_item_18_width ) ) 0.0 )
960 ( <= ( + body_item_6_x ( * -1.0 body_item_22_x ) ) 0.0 )
961 ( >= ( + body_item_6_x ( * -1.0 body_item_22_x ) ) 0.0 )
962 ( <= ( + body_item_6_width ( * -1.0 body_item_22_width ) ) 0.0 )
963 ( >= ( + body_item_6_width ( * -1.0 body_item_22_width ) ) 0.0 )
964 ( <= ( + body_item_11_x ( * -1.0 body_item_7_x ) ) 0.0 )
965 ( >= ( + body_item_11_x ( * -1.0 body_item_7_x ) ) 0.0 )
966 ( <= ( + body_item_11_width ( * -1.0 body_item_7_width ) ) 0.0 )
967 ( >= ( + body_item_11_width ( * -1.0 body_item_7_width ) ) 0.0 )
968 ( <= ( + body_item_15_x ( * -1.0 body_item_7_x ) ) 0.0 )
969 ( >= ( + body_item_15_x ( * -1.0 body_item_7_x ) ) 0.0 )
970 ( <= ( + body_item_15_width ( * -1.0 body_item_7_width ) ) 0.0 )
971 ( >= ( + body_item_15_width ( * -1.0 body_item_7_width ) ) 0.0 )
972 ( <= ( + body_item_7_x ( * -1.0 body_item_19_x ) ) 0.0 )
973 ( >= ( + body_item_7_x ( * -1.0 body_item_19_x ) ) 0.0 )
974 ( <= ( + body_item_7_width ( * -1.0 body_item_19_width ) ) 0.0 )
975 ( >= ( + body_item_7_width ( * -1.0 body_item_19_width ) ) 0.0 )
976 ( <= ( + body_item_7_x ( * -1.0 body_item_23_x ) ) 0.0 )
977 ( >= ( + body_item_7_x ( * -1.0 body_item_23_x ) ) 0.0 )
978 ( <= ( + body_item_7_width ( * -1.0 body_item_23_width ) ) 0.0 )
979 ( >= ( + body_item_7_width ( * -1.0 body_item_23_width ) ) 0.0 )
980 ( <= ( + body_item_12_x ( * -1.0 body_item_8_x ) ) 0.0 )
981 ( >= ( + body_item_12_x ( * -1.0 body_item_8_x ) ) 0.0 )
982 ( <= ( + body_item_12_width ( * -1.0 body_item_8_width ) ) 0.0 )
983 ( >= ( + body_item_12_width ( * -1.0 body_item_8_width ) ) 0.0 )
984 ( <= ( + body_item_8_x ( * -1.0 body_item_16_x ) ) 0.0 )
985 ( >= ( + body_item_8_x ( * -1.0 body_item_16_x ) ) 0.0 )
986 ( <= ( + body_item_8_width ( * -1.0 body_item_16_width ) ) 0.0 )
987 ( >= ( + body_item_8_width ( * -1.0 body_item_16_width ) ) 0.0 )
988 ( <= ( + body_item_8_x ( * -1.0 body_item_20_x ) ) 0.0 )
989 ( >= ( + body_item_8_x ( * -1.0 body_item_20_x ) ) 0.0 )
990 ( <= ( + body_item_8_width ( * -1.0 body_item_20_width ) ) 0.0 )
991 ( >= ( + body_item_8_width ( * -1.0 body_item_20_width ) ) 0.0 )
992 ( <= ( + body_item_8_x ( * -1.0 body_item_24_x ) ) 0.0 )
993 ( >= ( + body_item_8_x ( * -1.0 body_item_24_x ) ) 0.0 )
994 ( <= ( + body_item_8_width ( * -1.0 body_item_24_width ) ) 0.0 )
995 ( >= ( + body_item_8_width ( * -1.0 body_item_24_width ) ) 0.0 )
996 ( <= ( + body_item_9_x ( * -1.0 body_item_13_x ) ) 0.0 )
997 ( >= ( + body_item_9_x ( * -1.0 body_item_13_x ) ) 0.0 )
998 ( <= ( + body_item_9_width ( * -1.0 body_item_13_width ) ) 0.0 )
999 ( >= ( + body_item_9_width ( * -1.0 body_item_13_width ) ) 0.0 )
1000 ( <= ( + body_item_9_x ( * -1.0 body_item_17_x ) ) 0.0 )
1001 ( >= ( + body_item_9_x ( * -1.0 body_item_17_x ) ) 0.0 )
1002 ( <= ( + body_item_9_width ( * -1.0 body_item_17_width ) ) 0.0 )
1003 ( >= ( + body_item_9_width ( * -1.0 body_item_17_width ) ) 0.0 )
1004 ( <= ( + body_item_9_x ( * -1.0 body_item_21_x ) ) 0.0 )
1005 ( >= ( + body_item_9_x ( * -1.0 body_item_21_x ) ) 0.0 )
1006 ( <= ( + body_item_9_width ( * -1.0 body_item_21_width ) ) 0.0 )
1007 ( >= ( + body_item_9_width ( * -1.0 body_item_21_width ) ) 0.0 )
1008 ( <= ( + body_item_9_x ( * -1.0 body_item_25_x ) ) 0.0 )
1009 ( >= ( + body_item_9_x ( * -1.0 body_item_25_x ) ) 0.0 )
1010 ( <= ( + body_item_9_width ( * -1.0 body_item_25_width ) ) 0.0 )
1011 ( >= ( + body_item_9_width ( * -1.0 body_item_25_width ) ) 0.0 )
1012 ( <= ( + side_item_0_x ( * -1.0 side_item_1_x ) ) 0.0 )
1013 ( >= ( + side_item_0_x ( * -1.0 side_item_1_x ) ) 0.0 )
1014 ( <= ( + side_item_0_width ( * -1.0 side_item_1_width ) ) 0.0 )
1015 ( >= ( + side_item_0_width ( * -1.0 side_item_1_width ) ) 0.0 )
1016 ( <= ( + side_item_0_x ( * -1.0 side_item_2_x ) ) 0.0 )
1017 ( >= ( + side_item_0_x ( * -1.0 side_item_2_x ) ) 0.0 )
1018 ( <= ( + side_item_0_width ( * -1.0 side_item_2_width ) ) 0.0 )
1019 ( >= ( + side_item_0_width ( * -1.0 side_item_2_width ) ) 0.0 )
1020 ( <= ( + side_item_0_x ( * -1.0 side_item_3_x ) ) 0.0 )
1021 ( >= ( + side_item_0_x ( * -1.0 side_item_3_x ) ) 0.0 )
1022 ( <= ( + side_item_0_width ( * -1.0 side_item_3_width ) ) 0.0 )
1023 ( >= ( + side_item_0_width ( * -1.0 side_item_3_width ) ) 0.0 )
1024 ( <= ( + side_item_0_x ( * -1.0 side_item_4_x ) ) 0.0 )
1025 ( >= ( + side_item_0_x ( * -1.0 side_item_4_x ) ) 0.0 )
1026 ( <= ( + side_item_0_width ( * -1.0 side_item_4_width ) ) 0.0 )
1027 ( >= ( + side_item_0_width ( * -1.0 side_item_4_width ) ) 0.0 )
1028 ( <= ( + body_item_6_width body_item_6_x ( * -1.0 body_item_7_x ) ) -10.0 )
1029 ( >= ( + body_item_6_width body_item_6_x ( * -1.0 body_item_7_x ) ) -10.0 )
1030 ( <= ( + body_item_8_x ( * -1.0 body_item_7_width ) ( * -1.0 body_item_7_x ) ) 10.0 )
1031 ( >= ( + body_item_8_x ( * -1.0 body_item_7_width ) ( * -1.0 body_item_7_x ) ) 10.0 )
1032 ( <= ( + body_item_9_x ( * -1.0 body_item_8_width ) ( * -1.0 body_item_8_x ) ) 10.0 )
1033 ( >= ( + body_item_9_x ( * -1.0 body_item_8_width ) ( * -1.0 body_item_8_x ) ) 10.0 )
1034 ( <= ( + side_item_0_x ( * -1.0 body_item_9_width ) ( * -1.0 body_item_9_x ) ) 10.0 )
1035 ( >= ( + side_item_0_x ( * -1.0 body_item_9_width ) ( * -1.0 body_item_9_x ) ) 10.0 )
1036 ( <= ( + body_item_10_y ( * -1.0 body_item_6_hight ) ( * -1.0 body_item_6_y ) ) 10.0 )
1037 ( >= ( + body_item_10_y ( * -1.0 body_item_6_hight ) ( * -1.0 body_item_6_y ) ) 10.0 )
1038 ( <= ( + body_item_10_hight body_item_10_y ( * -1.0 body_item_14_y ) ) -10.0 )
1039 ( >= ( + body_item_10_hight body_item_10_y ( * -1.0 body_item_14_y ) ) -10.0 )
1040 ( <= ( + body_item_18_y ( * -1.0 body_item_14_hight ) ( * -1.0 body_item_14_y ) ) 10.0 )
1041 ( >= ( + body_item_18_y ( * -1.0 body_item_14_hight ) ( * -1.0 body_item_14_y ) ) 10.0 )
1042 ( <= ( + body_item_18_hight body_item_18_y ( * -1.0 body_item_22_y ) ) -10.0 )
1043 ( >= ( + body_item_18_hight body_item_18_y ( * -1.0 body_item_22_y ) ) -10.0 )
1044 ( <= ( + body_item_10_hight ( * -1.0 body_item_6_hight ) ) 0.0 )
1045 ( >= ( + body_item_10_hight ( * -1.0 body_item_6_hight ) ) 0.0 )
1046 ( <= ( + body_item_14_hight ( * -1.0 body_item_6_hight ) ) 0.0 )
1047 ( >= ( + body_item_14_hight ( * -1.0 body_item_6_hight ) ) 0.0 )
1048 ( <= ( + body_item_18_hight ( * -1.0 body_item_6_hight ) ) 0.0 )
1049 ( >= ( + body_item_18_hight ( * -1.0 body_item_6_hight ) ) 0.0 )
1050 ( <= ( + body_item_6_hight ( * -1.0 body_item_22_hight ) ) 0.0 )
1051 ( >= ( + body_item_6_hight ( * -1.0 body_item_22_hight ) ) 0.0 )
1052 ( <= ( + body_item_6_width ( * -1.0 body_item_7_width ) ) 0.0 )
1053 ( >= ( + body_item_6_width ( * -1.0 body_item_7_width ) ) 0.0 )
1054 ( <= ( + body_item_6_width ( * -1.0 body_item_8_width ) ) 0.0 )
1055 ( >= ( + body_item_6_width ( * -1.0 body_item_8_width ) ) 0.0 )
1056 ( <= ( + body_item_6_width ( * -1.0 body_item_9_width ) ) 0.0 )
1057 ( >= ( + body_item_6_width ( * -1.0 body_item_9_width ) ) 0.0 )
1058 ( <= ( + side_item_0_width ( * -1.0 body_item_6_width ) ) 0.0 )
1059 ( >= ( + side_item_0_width ( * -1.0 body_item_6_width ) ) 0.0 )
1060 ( >= main_body_pic_x 0.0 )
1061 ( >= main_body_pic_y 0.0 )
1062 ( >= main_body_pic_width 0.0 )
1063 ( >= main_body_pic_hight 0.0 )
1064 ( >= main_body_1_top_tbl_x 0.0 )
1065 ( >= main_body_1_top_tbl_y 0.0 )
1066 ( >= main_body_1_top_tbl_width 0.0 )
1067 ( >= main_body_1_top_tbl_hight 0.0 )
1068 main_body_1_top_feasible
1069 ( >= ( + main_body_pic_x ( * -1.0 main_body_1_top_x ) ) 0.0 )
1070 ( <= ( + main_body_pic_x main_body_pic_width ( * -1.0 main_body_1_top_x ) ( * -1.0 main_body_1_top_width ) ) 0.0 )
1071 ( >= ( + main_body_pic_y ( * -1.0 main_body_1_top_y ) ) 0.0 )
1072 ( <= ( + main_body_pic_y main_body_pic_hight ( * -1.0 main_body_1_top_y ) ( * -1.0 main_body_1_top_hight ) ) 0.0 )
1073 ( >= ( + main_body_1_top_tbl_x ( * -1.0 main_body_1_top_x ) ) 0.0 )
1074 ( <= ( + main_body_1_top_tbl_x main_body_1_top_tbl_width ( * -1.0 main_body_1_top_x ) ( * -1.0 main_body_1_top_width ) ) 0.0 )
1075 ( >= ( + main_body_1_top_tbl_y ( * -1.0 main_body_1_top_y ) ) 0.0 )
1076 ( <= ( + main_body_1_top_tbl_hight main_body_1_top_tbl_y ( * -1.0 main_body_1_top_y ) ( * -1.0 main_body_1_top_hight ) ) 0.0 )
1077 ( <= ( + main_body_pic_x main_body_pic_width ( * -1.0 main_body_1_top_tbl_x ) ) 0.0 )
1078 ( <= ( + main_body_pic_x ( * -1.0 main_body_1_top_x ) ) 0.0 )
1079 ( >= ( + main_body_1_top_tbl_x main_body_1_top_tbl_width ( * -1.0 main_body_1_top_x ) ( * -1.0 main_body_1_top_width ) ) 0.0 )
1080 ( <= ( + main_body_pic_y ( * -1.0 main_body_1_top_y ) ) 0.0 )
1081 ( <= ( + main_body_1_top_tbl_y ( * -1.0 main_body_1_top_y ) ) 0.0 )
1082 ( >= ( + main_body_pic_y main_body_pic_hight ( * -1.0 main_body_1_top_y ) ( * -1.0 main_body_1_top_hight ) ) 0.0 )
1083 ( >= ( + main_body_1_top_tbl_hight main_body_1_top_tbl_y ( * -1.0 main_body_1_top_y ) ( * -1.0 main_body_1_top_hight ) ) 0.0 )
1084 ( <= ( + main_body_pic_x main_body_pic_width ( * -1.0 main_body_1_top_tbl_x ) ) -10.0 )
1085 ( >= ( + main_body_pic_x main_body_pic_width ( * -1.0 main_body_1_top_tbl_x ) ) -10.0 )
1086 ( >= body_item_0_x 0.0 )
1087 ( >= body_item_0_y 0.0 )
1088 ( >= body_item_0_width 0.0 )
1089 ( >= body_item_0_hight 0.0 )
1090 ( >= body_item_1_x 0.0 )
1091 ( >= body_item_1_y 0.0 )
1092 ( >= body_item_1_width 0.0 )
1093 ( >= body_item_1_hight 0.0 )
1094 ( >= body_item_2_x 0.0 )
1095 ( >= body_item_2_y 0.0 )
1096 ( >= body_item_2_width 0.0 )
1097 ( >= body_item_2_hight 0.0 )
1098 ( >= body_item_3_x 0.0 )
1099 ( >= body_item_3_y 0.0 )
1100 ( >= body_item_3_width 0.0 )
1101 ( >= body_item_3_hight 0.0 )
1102 ( >= body_item_4_x 0.0 )
1103 ( >= body_item_4_y 0.0 )
1104 ( >= body_item_4_width 0.0 )
1105 ( >= body_item_4_hight 0.0 )
1106 ( >= body_item_5_x 0.0 )
1107 ( >= body_item_5_y 0.0 )
1108 ( >= body_item_5_width 0.0 )
1109 ( >= body_item_5_hight 0.0 )
1110 main_body_1_top_tbl_feasible
1111 ( <= ( + body_item_0_x ( * -1.0 main_body_1_top_tbl_x ) ) 0.0 )
1112 ( >= ( + body_item_0_x ( * -1.0 main_body_1_top_tbl_x ) ) 0.0 )
1113 ( <= ( + body_item_0_y ( * -1.0 main_body_1_top_tbl_y ) ) 0.0 )
1114 ( >= ( + body_item_0_y ( * -1.0 main_body_1_top_tbl_y ) ) 0.0 )
1115 ( <= ( + body_item_5_width body_item_5_x ( * -1.0 main_body_1_top_tbl_x ) ( * -1.0 main_body_1_top_tbl_width ) ) 0.0 )
1116 ( >= ( + body_item_5_width body_item_5_x ( * -1.0 main_body_1_top_tbl_x ) ( * -1.0 main_body_1_top_tbl_width ) ) 0.0 )
1117 ( <= ( + body_item_5_hight body_item_5_y ( * -1.0 main_body_1_top_tbl_hight ) ( * -1.0 main_body_1_top_tbl_y ) ) 0.0 )
1118 ( >= ( + body_item_5_hight body_item_5_y ( * -1.0 main_body_1_top_tbl_hight ) ( * -1.0 main_body_1_top_tbl_y ) ) 0.0 )
1119 ( <= ( + body_item_0_y ( * -1.0 body_item_1_y ) ) 0.0 )
1120 ( >= ( + body_item_0_y ( * -1.0 body_item_1_y ) ) 0.0 )
1121 ( <= ( + body_item_0_hight ( * -1.0 body_item_1_hight ) ) 0.0 )
1122 ( >= ( + body_item_0_hight ( * -1.0 body_item_1_hight ) ) 0.0 )
1123 ( <= ( + body_item_2_y ( * -1.0 body_item_0_y ) ) 0.0 )
1124 ( >= ( + body_item_2_y ( * -1.0 body_item_0_y ) ) 0.0 )
1125 ( <= ( + body_item_0_hight ( * -1.0 body_item_2_hight ) ) 0.0 )
1126 ( >= ( + body_item_0_hight ( * -1.0 body_item_2_hight ) ) 0.0 )
1127 ( <= ( + body_item_3_y ( * -1.0 body_item_4_y ) ) 0.0 )
1128 ( >= ( + body_item_3_y ( * -1.0 body_item_4_y ) ) 0.0 )
1129 ( <= ( + body_item_3_hight ( * -1.0 body_item_4_hight ) ) 0.0 )
1130 ( >= ( + body_item_3_hight ( * -1.0 body_item_4_hight ) ) 0.0 )
1131 ( <= ( + body_item_3_y ( * -1.0 body_item_5_y ) ) 0.0 )
1132 ( >= ( + body_item_3_y ( * -1.0 body_item_5_y ) ) 0.0 )
1133 ( <= ( + body_item_3_hight ( * -1.0 body_item_5_hight ) ) 0.0 )
1134 ( >= ( + body_item_3_hight ( * -1.0 body_item_5_hight ) ) 0.0 )
1135 ( <= ( + body_item_0_x ( * -1.0 body_item_3_x ) ) 0.0 )
1136 ( >= ( + body_item_0_x ( * -1.0 body_item_3_x ) ) 0.0 )
1137 ( <= ( + body_item_0_width ( * -1.0 body_item_3_width ) ) 0.0 )
1138 ( >= ( + body_item_0_width ( * -1.0 body_item_3_width ) ) 0.0 )
1139 ( <= ( + body_item_1_x ( * -1.0 body_item_4_x ) ) 0.0 )
1140 ( >= ( + body_item_1_x ( * -1.0 body_item_4_x ) ) 0.0 )
1141 ( <= ( + body_item_1_width ( * -1.0 body_item_4_width ) ) 0.0 )
1142 ( >= ( + body_item_1_width ( * -1.0 body_item_4_width ) ) 0.0 )
1143 ( <= ( + body_item_2_x ( * -1.0 body_item_5_x ) ) 0.0 )
1144 ( >= ( + body_item_2_x ( * -1.0 body_item_5_x ) ) 0.0 )
1145 ( <= ( + body_item_2_width ( * -1.0 body_item_5_width ) ) 0.0 )
1146 ( >= ( + body_item_2_width ( * -1.0 body_item_5_width ) ) 0.0 )
1147 ( <= ( + body_item_0_width body_item_0_x ( * -1.0 body_item_1_x ) ) -10.0 )
1148 ( >= ( + body_item_0_width body_item_0_x ( * -1.0 body_item_1_x ) ) -10.0 )
1149 ( <= ( + body_item_1_width body_item_1_x ( * -1.0 body_item_2_x ) ) -10.0 )
1150 ( >= ( + body_item_1_width body_item_1_x ( * -1.0 body_item_2_x ) ) -10.0 )
1151 ( <= ( + body_item_0_hight body_item_0_y ( * -1.0 body_item_3_y ) ) -10.0 )
1152 ( >= ( + body_item_0_hight body_item_0_y ( * -1.0 body_item_3_y ) ) -10.0 )
1153 ( <= ( + body_item_0_hight ( * -1.0 body_item_3_hight ) ) 0.0 )
1154 ( >= ( + body_item_0_hight ( * -1.0 body_item_3_hight ) ) 0.0 )
1155 ( <= ( + body_item_0_width ( * -1.0 body_item_1_width ) ) 0.0 )
1156 ( >= ( + body_item_0_width ( * -1.0 body_item_1_width ) ) 0.0 )
1157 ( <= ( + body_item_0_width ( * -1.0 body_item_2_width ) ) 0.0 )
1158 ( >= ( + body_item_0_width ( * -1.0 body_item_2_width ) ) 0.0 )
1159 ( <= body_item_0_width 300.0 )
1160 ( <= ( + ( * 3.0 body_item_6_width ) ( * -5.0 body_item_6_hight ) ) 0.0 )
1161 ( >= ( + ( * 3.0 body_item_6_width ) ( * -5.0 body_item_6_hight ) ) 0.0 )
1162 ( <= ( + ( * 5.0 body_item_7_hight ) ( * -3.0 body_item_7_width ) ) 0.0 )
1163 ( >= ( + ( * 5.0 body_item_7_hight ) ( * -3.0 body_item_7_width ) ) 0.0 )
1164 ( <= ( + ( * 3.0 body_item_8_width ) ( * -5.0 body_item_8_hight ) ) 0.0 )
1165 ( >= ( + ( * 3.0 body_item_8_width ) ( * -5.0 body_item_8_hight ) ) 0.0 )
1166 ( <= ( + ( * 3.0 body_item_9_width ) ( * -5.0 body_item_9_hight ) ) 0.0 )
1167 ( >= ( + ( * 3.0 body_item_9_width ) ( * -5.0 body_item_9_hight ) ) 0.0 )
1168 ( <= ( + ( * 3.0 side_item_0_width ) ( * -5.0 side_item_0_hight ) ) 0.0 )
1169 ( >= ( + ( * 3.0 side_item_0_width ) ( * -5.0 side_item_0_hight ) ) 0.0 )
1170 ( <= ( + ( * 5.0 body_item_10_hight ) ( * -3.0 body_item_10_width ) ) 0.0 )
1171 ( >= ( + ( * 5.0 body_item_10_hight ) ( * -3.0 body_item_10_width ) ) 0.0 )
1172 ( <= ( + ( * 3.0 body_item_11_width ) ( * -5.0 body_item_11_hight ) ) 0.0 )
1173 ( >= ( + ( * 3.0 body_item_11_width ) ( * -5.0 body_item_11_hight ) ) 0.0 )
1174 ( <= ( + ( * 3.0 body_item_12_width ) ( * -5.0 body_item_12_hight ) ) 0.0 )
1175 ( >= ( + ( * 3.0 body_item_12_width ) ( * -5.0 body_item_12_hight ) ) 0.0 )
1176 ( <= ( + ( * 5.0 body_item_13_hight ) ( * -3.0 body_item_13_width ) ) 0.0 )
1177 ( >= ( + ( * 5.0 body_item_13_hight ) ( * -3.0 body_item_13_width ) ) 0.0 )
1178 ( <= ( + ( * 3.0 side_item_1_width ) ( * -5.0 side_item_1_hight ) ) 0.0 )
1179 ( >= ( + ( * 3.0 side_item_1_width ) ( * -5.0 side_item_1_hight ) ) 0.0 )
1180 ( <= ( + ( * 3.0 body_item_14_width ) ( * -5.0 body_item_14_hight ) ) 0.0 )
1181 ( >= ( + ( * 3.0 body_item_14_width ) ( * -5.0 body_item_14_hight ) ) 0.0 )
1182 ( <= ( + ( * 3.0 body_item_15_width ) ( * -5.0 body_item_15_hight ) ) 0.0 )
1183 ( >= ( + ( * 3.0 body_item_15_width ) ( * -5.0 body_item_15_hight ) ) 0.0 )
1184 ( <= ( + ( * 5.0 body_item_16_hight ) ( * -3.0 body_item_16_width ) ) 0.0 )
1185 ( >= ( + ( * 5.0 body_item_16_hight ) ( * -3.0 body_item_16_width ) ) 0.0 )
1186 ( <= ( + ( * 3.0 body_item_17_width ) ( * -5.0 body_item_17_hight ) ) 0.0 )
1187 ( >= ( + ( * 3.0 body_item_17_width ) ( * -5.0 body_item_17_hight ) ) 0.0 )
1188 ( <= ( + ( * 3.0 side_item_2_width ) ( * -5.0 side_item_2_hight ) ) 0.0 )
1189 ( >= ( + ( * 3.0 side_item_2_width ) ( * -5.0 side_item_2_hight ) ) 0.0 )
1190 ( <= ( + ( * 3.0 body_item_18_width ) ( * -5.0 body_item_18_hight ) ) 0.0 )
1191 ( >= ( + ( * 3.0 body_item_18_width ) ( * -5.0 body_item_18_hight ) ) 0.0 )
1192 ( <= ( + ( * 5.0 body_item_19_hight ) ( * -3.0 body_item_19_width ) ) 0.0 )
1193 ( >= ( + ( * 5.0 body_item_19_hight ) ( * -3.0 body_item_19_width ) ) 0.0 )
1194 ( <= ( + ( * 5.0 body_item_20_hight ) ( * -3.0 body_item_20_width ) ) 0.0 )
1195 ( >= ( + ( * 5.0 body_item_20_hight ) ( * -3.0 body_item_20_width ) ) 0.0 )
1196 ( <= ( + ( * 5.0 body_item_21_hight ) ( * -3.0 body_item_21_width ) ) 0.0 )
1197 ( >= ( + ( * 5.0 body_item_21_hight ) ( * -3.0 body_item_21_width ) ) 0.0 )
1198 ( <= ( + ( * 3.0 side_item_3_width ) ( * -5.0 side_item_3_hight ) ) 0.0 )
1199 ( >= ( + ( * 3.0 side_item_3_width ) ( * -5.0 side_item_3_hight ) ) 0.0 )
1200 ( <= ( + ( * 5.0 body_item_22_hight ) ( * -3.0 body_item_22_width ) ) 0.0 )
1201 ( >= ( + ( * 5.0 body_item_22_hight ) ( * -3.0 body_item_22_width ) ) 0.0 )
1202 ( <= ( + ( * 3.0 body_item_23_width ) ( * -5.0 body_item_23_hight ) ) 0.0 )
1203 ( >= ( + ( * 3.0 body_item_23_width ) ( * -5.0 body_item_23_hight ) ) 0.0 )
1204 ( <= ( + ( * 3.0 body_item_24_width ) ( * -5.0 body_item_24_hight ) ) 0.0 )
1205 ( >= ( + ( * 3.0 body_item_24_width ) ( * -5.0 body_item_24_hight ) ) 0.0 )
1206 ( <= ( + ( * 5.0 body_item_25_hight ) ( * -3.0 body_item_25_width ) ) 0.0 )
1207 ( >= ( + ( * 5.0 body_item_25_hight ) ( * -3.0 body_item_25_width ) ) 0.0 )
1208 ( <= ( + ( * 3.0 side_item_4_width ) ( * -5.0 side_item_4_hight ) ) 0.0 )
1209 ( >= ( + ( * 3.0 side_item_4_width ) ( * -5.0 side_item_4_hight ) ) 0.0 )
1210 ( <= ( + ( * 3.0 body_item_0_width ) ( * -5.0 body_item_0_hight ) ) 0.0 )
1211 ( >= ( + ( * 3.0 body_item_0_width ) ( * -5.0 body_item_0_hight ) ) 0.0 )
1212 ( <= ( + ( * 3.0 body_item_1_width ) ( * -5.0 body_item_1_hight ) ) 0.0 )
1213 ( >= ( + ( * 3.0 body_item_1_width ) ( * -5.0 body_item_1_hight ) ) 0.0 )
1214 ( <= ( + ( * 5.0 body_item_2_hight ) ( * -3.0 body_item_2_width ) ) 0.0 )
1215 ( >= ( + ( * 5.0 body_item_2_hight ) ( * -3.0 body_item_2_width ) ) 0.0 )
1216 ( <= ( + ( * 3.0 body_item_3_width ) ( * -5.0 body_item_3_hight ) ) 0.0 )
1217 ( >= ( + ( * 3.0 body_item_3_width ) ( * -5.0 body_item_3_hight ) ) 0.0 )
1218 ( <= ( + ( * 3.0 body_item_4_width ) ( * -5.0 body_item_4_hight ) ) 0.0 )
1219 ( >= ( + ( * 3.0 body_item_4_width ) ( * -5.0 body_item_4_hight ) ) 0.0 )
1220 ( <= ( + ( * 3.0 body_item_5_width ) ( * -5.0 body_item_5_hight ) ) 0.0 )
1221 ( >= ( + ( * 3.0 body_item_5_width ) ( * -5.0 body_item_5_hight ) ) 0.0 )
1222 ( <= ( + body_item_0_width ( * -1.0 side_item_0_width ) ) 0.0 )
1223 ( >= ( + body_item_0_width ( * -1.0 side_item_0_width ) ) 0.0 )
1224 ( >= main_body_2_top_x 0.0 )
1225 ( >= main_body_2_top_y 0.0 )
1226 ( >= main_body_2_top_width 0.0 )
1227 ( >= main_body_2_top_hight 0.0 )
1228 ( >= main_body_2_tbl_x 0.0 )
1229 ( >= main_body_2_tbl_y 0.0 )
1230 ( >= main_body_2_tbl_width 0.0 )
1231 ( >= main_body_2_tbl_hight 0.0 )
1232 ( <= ( + main_body_2_top_x ( * -1.0 main_body_2_x ) ) 10.0 )
1233 ( >= ( + main_body_2_top_x ( * -1.0 main_body_2_x ) ) 10.0 )
1234 ( <= ( + main_body_2_tbl_x ( * -1.0 main_body_2_x ) ) 10.0 )
1235 ( >= ( + main_body_2_tbl_x ( * -1.0 main_body_2_x ) ) 10.0 )
1236 ( <= ( + main_body_2_top_x main_body_2_top_width ( * -1.0 main_body_2_x ) ( * -1.0 main_body_2_width ) ) -10.0 )
1237 ( >= ( + main_body_2_top_x main_body_2_top_width ( * -1.0 main_body_2_x ) ( * -1.0 main_body_2_width ) ) -10.0 )
1238 ( <= ( + main_body_2_tbl_x main_body_2_tbl_width ( * -1.0 main_body_2_x ) ( * -1.0 main_body_2_width ) ) -10.0 )
1239 ( >= ( + main_body_2_tbl_x main_body_2_tbl_width ( * -1.0 main_body_2_x ) ( * -1.0 main_body_2_width ) ) -10.0 )
1240 ( <= ( + main_body_2_top_y ( * -1.0 main_body_2_y ) ) 10.0 )
1241 ( >= ( + main_body_2_top_y ( * -1.0 main_body_2_y ) ) 10.0 )
1242 ( <= ( + main_body_2_tbl_hight main_body_2_tbl_y ( * -1.0 main_body_2_y ) ( * -1.0 main_body_2_hight ) ) -10.0 )
1243 ( >= ( + main_body_2_tbl_hight main_body_2_tbl_y ( * -1.0 main_body_2_y ) ( * -1.0 main_body_2_hight ) ) -10.0 )
1244 ( <= ( + main_body_2_top_hight main_body_2_top_y ( * -1.0 main_body_2_tbl_y ) ) -20.0 )
1245 ( >= ( + main_body_2_top_hight main_body_2_top_y ( * -1.0 main_body_2_tbl_y ) ) -20.0 )
1246 ( <= ( + main_body_2_top_hight main_body_2_top_y ( * -1.0 main_body_2_y ) ( * -1.0 main_body_2_hight ) ) -10.0 )
1247 ( >= ( + main_body_2_tbl_y ( * -1.0 main_body_2_y ) ) 10.0 )
1248 ( <= ( + main_body_2_top_hight main_body_2_top_y ( * -1.0 main_body_2_tbl_y ) ) 0.0 )
1249 main_body_2_tbl_feasible
1250 ( <= ( + body_item_4_x ( * -1.0 main_body_2_tbl_x ) ) 0.0 )
1251 ( >= ( + body_item_4_x ( * -1.0 main_body_2_tbl_x ) ) 0.0 )
1252 ( <= ( + body_item_4_y ( * -1.0 main_body_2_tbl_y ) ) 0.0 )
1253 ( >= ( + body_item_4_y ( * -1.0 main_body_2_tbl_y ) ) 0.0 )
1254 ( <= ( + side_item_4_width side_item_4_x ( * -1.0 main_body_2_tbl_x ) ( * -1.0 main_body_2_tbl_width ) ) 0.0 )
1255 ( >= ( + side_item_4_width side_item_4_x ( * -1.0 main_body_2_tbl_x ) ( * -1.0 main_body_2_tbl_width ) ) 0.0 )
1256 ( <= ( + side_item_4_hight side_item_4_y ( * -1.0 main_body_2_tbl_hight ) ( * -1.0 main_body_2_tbl_y ) ) 0.0 )
1257 ( >= ( + side_item_4_hight side_item_4_y ( * -1.0 main_body_2_tbl_hight ) ( * -1.0 main_body_2_tbl_y ) ) 0.0 )
1258 ( <= ( + body_item_4_y ( * -1.0 body_item_5_y ) ) 0.0 )
1259 ( >= ( + body_item_4_y ( * -1.0 body_item_5_y ) ) 0.0 )
1260 ( <= ( + body_item_4_hight ( * -1.0 body_item_5_hight ) ) 0.0 )
1261 ( >= ( + body_item_4_hight ( * -1.0 body_item_5_hight ) ) 0.0 )
1262 ( <= ( + body_item_4_y ( * -1.0 body_item_6_y ) ) 0.0 )
1263 ( >= ( + body_item_4_y ( * -1.0 body_item_6_y ) ) 0.0 )
1264 ( <= ( + body_item_4_hight ( * -1.0 body_item_6_hight ) ) 0.0 )
1265 ( >= ( + body_item_4_hight ( * -1.0 body_item_6_hight ) ) 0.0 )
1266 ( <= ( + body_item_4_y ( * -1.0 side_item_0_y ) ) 0.0 )
1267 ( >= ( + body_item_4_y ( * -1.0 side_item_0_y ) ) 0.0 )
1268 ( <= ( + body_item_4_hight ( * -1.0 side_item_0_hight ) ) 0.0 )
1269 ( >= ( + body_item_4_hight ( * -1.0 side_item_0_hight ) ) 0.0 )
1270 ( <= ( + body_item_7_y ( * -1.0 body_item_8_y ) ) 0.0 )
1271 ( >= ( + body_item_7_y ( * -1.0 body_item_8_y ) ) 0.0 )
1272 ( <= ( + body_item_7_hight ( * -1.0 body_item_8_hight ) ) 0.0 )
1273 ( >= ( + body_item_7_hight ( * -1.0 body_item_8_hight ) ) 0.0 )
1274 ( <= ( + body_item_7_y ( * -1.0 body_item_9_y ) ) 0.0 )
1275 ( >= ( + body_item_7_y ( * -1.0 body_item_9_y ) ) 0.0 )
1276 ( <= ( + body_item_7_hight ( * -1.0 body_item_9_hight ) ) 0.0 )
1277 ( >= ( + body_item_7_hight ( * -1.0 body_item_9_hight ) ) 0.0 )
1278 ( <= ( + body_item_7_y ( * -1.0 side_item_1_y ) ) 0.0 )
1279 ( >= ( + body_item_7_y ( * -1.0 side_item_1_y ) ) 0.0 )
1280 ( <= ( + body_item_7_hight ( * -1.0 side_item_1_hight ) ) 0.0 )
1281 ( >= ( + body_item_7_hight ( * -1.0 side_item_1_hight ) ) 0.0 )
1282 ( <= ( + body_item_10_y ( * -1.0 side_item_2_y ) ) 0.0 )
1283 ( >= ( + body_item_10_y ( * -1.0 side_item_2_y ) ) 0.0 )
1284 ( <= ( + body_item_10_hight ( * -1.0 side_item_2_hight ) ) 0.0 )
1285 ( >= ( + body_item_10_hight ( * -1.0 side_item_2_hight ) ) 0.0 )
1286 ( <= ( + body_item_13_y ( * -1.0 body_item_14_y ) ) 0.0 )
1287 ( >= ( + body_item_13_y ( * -1.0 body_item_14_y ) ) 0.0 )
1288 ( <= ( + body_item_13_hight ( * -1.0 body_item_14_hight ) ) 0.0 )
1289 ( >= ( + body_item_13_hight ( * -1.0 body_item_14_hight ) ) 0.0 )
1290 ( <= ( + body_item_13_y ( * -1.0 body_item_15_y ) ) 0.0 )
1291 ( >= ( + body_item_13_y ( * -1.0 body_item_15_y ) ) 0.0 )
1292 ( <= ( + body_item_13_hight ( * -1.0 body_item_15_hight ) ) 0.0 )
1293 ( >= ( + body_item_13_hight ( * -1.0 body_item_15_hight ) ) 0.0 )
1294 ( <= ( + body_item_13_y ( * -1.0 side_item_3_y ) ) 0.0 )
1295 ( >= ( + body_item_13_y ( * -1.0 side_item_3_y ) ) 0.0 )
1296 ( <= ( + body_item_13_hight ( * -1.0 side_item_3_hight ) ) 0.0 )
1297 ( >= ( + body_item_13_hight ( * -1.0 side_item_3_hight ) ) 0.0 )
1298 ( <= ( + body_item_16_y ( * -1.0 body_item_17_y ) ) 0.0 )
1299 ( >= ( + body_item_16_y ( * -1.0 body_item_17_y ) ) 0.0 )
1300 ( <= ( + body_item_16_hight ( * -1.0 body_item_17_hight ) ) 0.0 )
1301 ( >= ( + body_item_16_hight ( * -1.0 body_item_17_hight ) ) 0.0 )
1302 ( <= ( + body_item_16_y ( * -1.0 body_item_18_y ) ) 0.0 )
1303 ( >= ( + body_item_16_y ( * -1.0 body_item_18_y ) ) 0.0 )
1304 ( <= ( + body_item_16_hight ( * -1.0 body_item_18_hight ) ) 0.0 )
1305 ( >= ( + body_item_16_hight ( * -1.0 body_item_18_hight ) ) 0.0 )
1306 ( <= ( + body_item_16_y ( * -1.0 side_item_4_y ) ) 0.0 )
1307 ( >= ( + body_item_16_y ( * -1.0 side_item_4_y ) ) 0.0 )
1308 ( <= ( + body_item_16_hight ( * -1.0 side_item_4_hight ) ) 0.0 )
1309 ( >= ( + body_item_16_hight ( * -1.0 side_item_4_hight ) ) 0.0 )
1310 ( <= ( + body_item_4_x ( * -1.0 body_item_7_x ) ) 0.0 )
1311 ( >= ( + body_item_4_x ( * -1.0 body_item_7_x ) ) 0.0 )
1312 ( <= ( + body_item_4_width ( * -1.0 body_item_7_width ) ) 0.0 )
1313 ( >= ( + body_item_4_width ( * -1.0 body_item_7_width ) ) 0.0 )
1314 ( <= ( + body_item_4_x ( * -1.0 body_item_10_x ) ) 0.0 )
1315 ( >= ( + body_item_4_x ( * -1.0 body_item_10_x ) ) 0.0 )
1316 ( <= ( + body_item_4_width ( * -1.0 body_item_10_width ) ) 0.0 )
1317 ( >= ( + body_item_4_width ( * -1.0 body_item_10_width ) ) 0.0 )
1318 ( <= ( + body_item_4_x ( * -1.0 body_item_13_x ) ) 0.0 )
1319 ( >= ( + body_item_4_x ( * -1.0 body_item_13_x ) ) 0.0 )
1320 ( <= ( + body_item_4_width ( * -1.0 body_item_13_width ) ) 0.0 )
1321 ( >= ( + body_item_4_width ( * -1.0 body_item_13_width ) ) 0.0 )
1322 ( <= ( + body_item_4_x ( * -1.0 body_item_16_x ) ) 0.0 )
1323 ( >= ( + body_item_4_x ( * -1.0 body_item_16_x ) ) 0.0 )
1324 ( <= ( + body_item_4_width ( * -1.0 body_item_16_width ) ) 0.0 )
1325 ( >= ( + body_item_4_width ( * -1.0 body_item_16_width ) ) 0.0 )
1326 ( <= ( + body_item_5_x ( * -1.0 body_item_8_x ) ) 0.0 )
1327 ( >= ( + body_item_5_x ( * -1.0 body_item_8_x ) ) 0.0 )
1328 ( <= ( + body_item_5_width ( * -1.0 body_item_8_width ) ) 0.0 )
1329 ( >= ( + body_item_5_width ( * -1.0 body_item_8_width ) ) 0.0 )
1330 ( <= ( + body_item_5_x ( * -1.0 body_item_11_x ) ) 0.0 )
1331 ( >= ( + body_item_5_x ( * -1.0 body_item_11_x ) ) 0.0 )
1332 ( <= ( + body_item_5_width ( * -1.0 body_item_11_width ) ) 0.0 )
1333 ( >= ( + body_item_5_width ( * -1.0 body_item_11_width ) ) 0.0 )
1334 ( <= ( + body_item_5_x ( * -1.0 body_item_14_x ) ) 0.0 )
1335 ( >= ( + body_item_5_x ( * -1.0 body_item_14_x ) ) 0.0 )
1336 ( <= ( + body_item_5_width ( * -1.0 body_item_14_width ) ) 0.0 )
1337 ( >= ( + body_item_5_width ( * -1.0 body_item_14_width ) ) 0.0 )
1338 ( <= ( + body_item_5_x ( * -1.0 body_item_17_x ) ) 0.0 )
1339 ( >= ( + body_item_5_x ( * -1.0 body_item_17_x ) ) 0.0 )
1340 ( <= ( + body_item_5_width ( * -1.0 body_item_17_width ) ) 0.0 )
1341 ( >= ( + body_item_5_width ( * -1.0 body_item_17_width ) ) 0.0 )
1342 ( <= ( + body_item_6_x ( * -1.0 body_item_9_x ) ) 0.0 )
1343 ( >= ( + body_item_6_x ( * -1.0 body_item_9_x ) ) 0.0 )
1344 ( <= ( + body_item_6_x ( * -1.0 body_item_12_x ) ) 0.0 )
1345 ( >= ( + body_item_6_x ( * -1.0 body_item_12_x ) ) 0.0 )
1346 ( <= ( + body_item_6_width ( * -1.0 body_item_12_width ) ) 0.0 )
1347 ( >= ( + body_item_6_width ( * -1.0 body_item_12_width ) ) 0.0 )
1348 ( <= ( + body_item_6_x ( * -1.0 body_item_15_x ) ) 0.0 )
1349 ( >= ( + body_item_6_x ( * -1.0 body_item_15_x ) ) 0.0 )
1350 ( <= ( + body_item_6_width ( * -1.0 body_item_15_width ) ) 0.0 )
1351 ( >= ( + body_item_6_width ( * -1.0 body_item_15_width ) ) 0.0 )
1352 ( <= ( + body_item_4_width ( * -1.0 body_item_5_x ) body_item_4_x ) -10.0 )
1353 ( >= ( + body_item_4_width ( * -1.0 body_item_5_x ) body_item_4_x ) -10.0 )
1354 ( <= ( + body_item_5_width ( * -1.0 body_item_6_x ) body_item_5_x ) -10.0 )
1355 ( >= ( + body_item_5_width ( * -1.0 body_item_6_x ) body_item_5_x ) -10.0 )
1356 ( <= ( + body_item_6_width body_item_6_x ( * -1.0 side_item_0_x ) ) -10.0 )
1357 ( >= ( + body_item_6_width body_item_6_x ( * -1.0 side_item_0_x ) ) -10.0 )
1358 ( <= ( + body_item_4_hight ( * -1.0 body_item_7_y ) body_item_4_y ) -10.0 )
1359 ( >= ( + body_item_4_hight ( * -1.0 body_item_7_y ) body_item_4_y ) -10.0 )
1360 ( <= ( + body_item_7_hight ( * -1.0 body_item_10_y ) body_item_7_y ) -10.0 )
1361 ( >= ( + body_item_7_hight ( * -1.0 body_item_10_y ) body_item_7_y ) -10.0 )
1362 ( <= ( + body_item_10_hight ( * -1.0 body_item_13_y ) body_item_10_y ) -10.0 )
1363 ( >= ( + body_item_10_hight ( * -1.0 body_item_13_y ) body_item_10_y ) -10.0 )
1364 ( <= ( + body_item_13_hight ( * -1.0 body_item_16_y ) body_item_13_y ) -10.0 )
1365 ( >= ( + body_item_13_hight ( * -1.0 body_item_16_y ) body_item_13_y ) -10.0 )
1366 ( <= ( + body_item_4_hight ( * -1.0 body_item_7_hight ) ) 0.0 )
1367 ( >= ( + body_item_4_hight ( * -1.0 body_item_7_hight ) ) 0.0 )
1368 ( <= ( + body_item_4_hight ( * -1.0 body_item_10_hight ) ) 0.0 )
1369 ( >= ( + body_item_4_hight ( * -1.0 body_item_10_hight ) ) 0.0 )
1370 ( <= ( + body_item_4_hight ( * -1.0 body_item_13_hight ) ) 0.0 )
1371 ( >= ( + body_item_4_hight ( * -1.0 body_item_13_hight ) ) 0.0 )
1372 ( <= ( + body_item_16_hight ( * -1.0 body_item_4_hight ) ) 0.0 )
1373 ( >= ( + body_item_16_hight ( * -1.0 body_item_4_hight ) ) 0.0 )
1374 ( <= ( + body_item_4_width ( * -1.0 body_item_5_width ) ) 0.0 )
1375 ( >= ( + body_item_4_width ( * -1.0 body_item_5_width ) ) 0.0 )
1376 ( <= ( + body_item_4_width ( * -1.0 body_item_6_width ) ) 0.0 )
1377 ( >= ( + body_item_4_width ( * -1.0 body_item_6_width ) ) 0.0 )
1378 ( <= ( + side_item_0_width ( * -1.0 body_item_4_width ) ) 0.0 )
1379 ( >= ( + side_item_0_width ( * -1.0 body_item_4_width ) ) 0.0 )
1380 ( >= main_body_2_top_tbl_x 0.0 )
1381 ( >= main_body_2_top_tbl_y 0.0 )
1382 ( >= main_body_2_top_tbl_width 0.0 )
1383 ( >= main_body_2_top_tbl_hight 0.0 )
1384 main_body_2_top_feasible
1385 ( >= ( + main_body_pic_x ( * -1.0 main_body_2_top_x ) ) 0.0 )
1386 ( <= ( + main_body_pic_x main_body_pic_width ( * -1.0 main_body_2_top_x ) ( * -1.0 main_body_2_top_width ) ) 0.0 )
1387 ( <= ( + main_body_2_top_y ( * -1.0 main_body_pic_y ) ) 0.0 )
1388 ( >= ( + main_body_2_top_hight main_body_2_top_y ( * -1.0 main_body_pic_y ) ( * -1.0 main_body_pic_hight ) ) 0.0 )
1389 ( >= ( + main_body_2_top_tbl_x ( * -1.0 main_body_2_top_x ) ) 0.0 )
1390 ( <= ( + main_body_2_top_tbl_x main_body_2_top_tbl_width ( * -1.0 main_body_2_top_x ) ( * -1.0 main_body_2_top_width ) ) 0.0 )
1391 ( >= ( + main_body_2_top_tbl_y ( * -1.0 main_body_2_top_y ) ) 0.0 )
1392 ( <= ( + main_body_2_top_tbl_y main_body_2_top_tbl_hight ( * -1.0 main_body_2_top_hight ) ( * -1.0 main_body_2_top_y ) ) 0.0 )
1393 ( >= ( + main_body_2_top_tbl_x ( * -1.0 main_body_pic_x ) ( * -1.0 main_body_pic_width ) ) 0.0 )
1394 ( <= ( + main_body_pic_x ( * -1.0 main_body_2_top_x ) ) 0.0 )
1395 ( >= ( + main_body_2_top_tbl_x main_body_2_top_tbl_width ( * -1.0 main_body_2_top_x ) ( * -1.0 main_body_2_top_width ) ) 0.0 )
1396 ( >= ( + main_body_2_top_y ( * -1.0 main_body_pic_y ) ) 0.0 )
1397 ( <= ( + main_body_2_top_tbl_y ( * -1.0 main_body_2_top_y ) ) 0.0 )
1398 ( <= ( + main_body_2_top_hight main_body_2_top_y ( * -1.0 main_body_pic_y ) ( * -1.0 main_body_pic_hight ) ) 0.0 )
1399 ( >= ( + main_body_2_top_tbl_y main_body_2_top_tbl_hight ( * -1.0 main_body_2_top_hight ) ( * -1.0 main_body_2_top_y ) ) 0.0 )
1400 ( <= ( + main_body_2_top_tbl_x ( * -1.0 main_body_pic_x ) ( * -1.0 main_body_pic_width ) ) 10.0 )
1401 ( >= ( + main_body_2_top_tbl_x ( * -1.0 main_body_pic_x ) ( * -1.0 main_body_pic_width ) ) 10.0 )
1402 main_body_2_top_tbl_feasible
1403 ( <= ( + body_item_0_x ( * -1.0 main_body_2_top_tbl_x ) ) 0.0 )
1404 ( >= ( + body_item_0_x ( * -1.0 main_body_2_top_tbl_x ) ) 0.0 )
1405 ( <= ( + body_item_0_y ( * -1.0 main_body_2_top_tbl_y ) ) 0.0 )
1406 ( >= ( + body_item_0_y ( * -1.0 main_body_2_top_tbl_y ) ) 0.0 )
1407 ( <= ( + body_item_3_width body_item_3_x ( * -1.0 main_body_2_top_tbl_x ) ( * -1.0 main_body_2_top_tbl_width ) ) 0.0 )
1408 ( >= ( + body_item_3_width body_item_3_x ( * -1.0 main_body_2_top_tbl_x ) ( * -1.0 main_body_2_top_tbl_width ) ) 0.0 )
1409 ( <= ( + body_item_3_hight body_item_3_y ( * -1.0 main_body_2_top_tbl_y ) ( * -1.0 main_body_2_top_tbl_hight ) ) 0.0 )
1410 ( >= ( + body_item_3_hight body_item_3_y ( * -1.0 main_body_2_top_tbl_y ) ( * -1.0 main_body_2_top_tbl_hight ) ) 0.0 )
1411 ( <= ( + body_item_2_y ( * -1.0 body_item_3_y ) ) 0.0 )
1412 ( >= ( + body_item_2_y ( * -1.0 body_item_3_y ) ) 0.0 )
1413 ( <= ( + body_item_2_hight ( * -1.0 body_item_3_hight ) ) 0.0 )
1414 ( >= ( + body_item_2_hight ( * -1.0 body_item_3_hight ) ) 0.0 )
1415 ( <= ( + body_item_0_x ( * -1.0 body_item_2_x ) ) 0.0 )
1416 ( >= ( + body_item_0_x ( * -1.0 body_item_2_x ) ) 0.0 )
1417 ( <= ( + body_item_1_x ( * -1.0 body_item_3_x ) ) 0.0 )
1418 ( >= ( + body_item_1_x ( * -1.0 body_item_3_x ) ) 0.0 )
1419 ( <= ( + body_item_1_width ( * -1.0 body_item_3_width ) ) 0.0 )
1420 ( >= ( + body_item_1_width ( * -1.0 body_item_3_width ) ) 0.0 )
1421 ( <= ( + body_item_0_hight ( * -1.0 body_item_2_y ) body_item_0_y ) -10.0 )
1422 ( >= ( + body_item_0_hight ( * -1.0 body_item_2_y ) body_item_0_y ) -10.0 )
1423 back_ground_feasible
1424 title_bg_feasible
1425 hot_feasible
1426 main_body_holder_feasible
1427 title_top_feasible
1428 title_icon_feasible
1429 title_button_left_feasible
1430 title_search_feasible
1431 title_button_right_feasible
1432 submit_feasible
1433 title_button_left_kid_0_feasible
1434 title_button_left_kid_1_feasible
1435 title_button_left_kid_2_feasible
1436 title_button_left_kid_3_feasible
1437 title_button_left_kid_4_feasible
1438 title_button_left_kid_5_feasible
1439 title_button_left_kid_6_feasible
1440 title_button_left_kid_7_feasible
1441 title_button_left_kid_8_feasible
1442 title_button_right_kid_0_feasible
1443 title_button_right_kid_1_feasible
1444 title_button_right_kid_2_feasible
1445 title_button_right_kid_3_feasible
1446 title_button_right_kid_4_feasible
1447 title_button_right_kid_5_feasible
1448 title_button_right_kid_6_feasible
1449 title_search_kid_0_feasible
1450 title_search_kid_1_feasible
1451 icon_1_feasible
1452 icon_2_feasible
1453 hot_table_1_feasible
1454 hot_table_2_feasible
1455 hot_table_1_kid_0_feasible
1456 hot_table_1_kid_1_feasible
1457 hot_table_1_kid_2_feasible
1458 hot_table_1_kid_3_feasible
1459 hot_table_1_kid_4_feasible
1460 hot_table_1_kid_5_feasible
1461 hot_table_1_kid_6_feasible
1462 hot_table_1_kid_7_feasible
1463 hot_table_1_kid_8_feasible
1464 hot_table_1_kid_9_feasible
1465 hot_table_1_kid_10_feasible
1466 hot_table_1_kid_11_feasible
1467 hot_table_1_kid_12_feasible
1468 hot_table_1_kid_13_feasible
1469 hot_table_1_kid_14_feasible
1470 hot_table_1_kid_15_feasible
1471 hot_table_1_kid_16_feasible
1472 hot_table_1_kid_17_feasible
1473 hot_table_2_kid_0_feasible
1474 hot_table_2_kid_1_feasible
1475 hot_table_2_kid_2_feasible
1476 hot_table_2_kid_3_feasible
1477 hot_table_2_kid_4_feasible
1478 hot_table_2_kid_5_feasible
1479 body_item_6_feasible
1480 body_item_7_feasible
1481 body_item_8_feasible
1482 body_item_9_feasible
1483 side_item_0_feasible
1484 body_item_10_feasible
1485 body_item_11_feasible
1486 body_item_12_feasible
1487 body_item_13_feasible
1488 side_item_1_feasible
1489 body_item_14_feasible
1490 body_item_15_feasible
1491 body_item_16_feasible
1492 body_item_17_feasible
1493 side_item_2_feasible
1494 body_item_18_feasible
1495 body_item_19_feasible
1496 body_item_20_feasible
1497 body_item_21_feasible
1498 side_item_3_feasible
1499 body_item_22_feasible
1500 body_item_23_feasible
1501 body_item_24_feasible
1502 body_item_25_feasible
1503 side_item_4_feasible
1504 main_body_pic_feasible
1505 body_item_0_feasible
1506 body_item_1_feasible
1507 body_item_2_feasible
1508 body_item_3_feasible
1509 body_item_4_feasible
1510 body_item_5_feasible
0
1678
( 1 )
( 2 )
( 3 )
( 4 )
( 5 )
( 6 )
( 7 )
( 8 )
( 9 )
( 10 )
( 11 )
( 12 )
( 13 )
( 14 )
( 15 )
( 16 )
( 17 )
( 18 )
( 19 )
( 20 )
( 21 )
( 22 )
( 23 )
( 24 )
( 25 )
( 26 )
( 27 )
( 28 )
( 29 )
( 30 )
( 31 )
( 32 )
( 33 )
( 34 )
( 35 )
( 36 )
( 37 )
( 38 )
( 39 )
( 40 )
( 41 )
( 42 )
( 43 )
( 29 )
( 34 )
( 44 )
( 31 )
( 36 )
( 45 )
( 46 )
( 33 )
( 38 )
( 47 )
( 48 )
( 49 )
( 50 )
( 51 )
( 52 )
( 53 )
( 54 )
( 55 )
( 56 )
( 57 )
( 58 )
( 59 )
( 56 )
( 60 )
( 61 )
( 62 )
( 63 )
( 64 )
( 65 )
( 66 )
( 67 )
( 68 )
( 69 )
( 70 )
( 71 )
( 72 )
( 73 )
( 74 )
( 75 )
( 76 )
( 77 )
( 78 )
( 79 )
( 80 )
( 81 )
( 82 )
( 83 )
( 84 )
( 85 )
( 86 )
( 87 )
( 88 )
( 89 )
( 90 )
( 91 )
( 92 )
( 93 )
( 94 )
( 95 )
( 96 )
( 97 )
( 98 )
( 99 )
( 100 )
( 101 )
( 102 )
( 103 )
( 104 )
( 94 )
( 105 )
( 106 )
( 96 )
( 107 )
( 108 )
( 98 )
( 109 )
( 101 )
( 110 )
( 111 )
( 112 )
( 113 )
( 114 )
( 115 )
( 116 )
( 117 )
( 118 )
( 119 )
( 120 )
( 121 )
( 122 )
( 123 )
( 124 )
( 125 )
( 126 )
( 127 )
( 128 )
( 129 )
( 130 )
( 131 )
( 132 )
( 133 )
( 134 )
( 135 )
( 136 )
( 137 )
( 138 )
( 139 )
( 140 )
( 141 )
( 142 )
( 143 )
( 144 )
( 145 )
( 146 )
( 147 )
( 148 )
( 149 )
( 150 )
( 151 )
( 152 )
( 153 )
( 154 )
( 155 )
( 156 )
( 157 )
( 158 )
( 159 )
( 160 )
( 161 )
( 162 )
( 163 )
( 164 )
( 165 )
( 166 )
( 167 )
( 168 )
( 169 )
( 170 )
( 171 )
( 172 )
( 173 )
( 174 )
( 175 )
( 176 )
( 177 )
( 178 )
( 179 )
( 180 )
( 181 )
( 182 )
( 183 )
( 184 )
( 185 )
( 186 )
( 187 )
( 188 )
( 189 )
( 190 )
( 191 )
( 192 )
( 193 )
( 194 )
( 195 )
( 196 )
( 197 )
( 198 )
( 199 )
( 200 )
( 201 )
( 202 )
( 203 )
( 204 )
( 205 )
( 206 )
( 207 )
( 208 )
( 209 )
( 210 )
( 211 )
( 212 )
( 213 )
( 214 )
( 215 )
( 216 )
( 217 )
( 218 )
( 219 )
( 220 )
( 221 )
( 222 )
( 223 )
( 224 )
( 225 )
( 226 )
( 227 )
( 228 )
( 229 )
( 230 )
( 231 )
( 232 )
( 233 )
( 234 )
( 235 )
( 236 )
( 237 )
( 238 )
( 239 )
( 240 )
( 241 )
( 242 )
( 243 )
( 244 )
( 245 )
( 246 )
( 247 )
( 248 )
( 249 )
( 250 )
( 251 )
( 252 )
( 253 )
( 254 )
( 255 )
( 256 )
( 257 )
( 258 )
( 259 )
( 260 )
( 261 )
( 262 )
( 263 )
( 264 )
( 265 )
( 266 )
( 267 )
( 268 )
( 269 )
( 270 )
( 271 )
( 272 )
( 273 )
( 274 )
( 275 )
( 276 )
( 277 )
( 278 )
( 279 )
( 280 )
( 281 )
( 282 )
( 283 )
( 284 )
( 285 )
( 286 )
( 287 )
( 288 )
( 289 )
( 290 )
( 291 )
( 292 )
( 293 )
( 294 )
( 295 )
( 296 )
( 297 )
( 298 )
( 299 )
( 300 )
( 301 )
( 302 )
( 303 )
( 304 )
( 305 )
( 306 )
( 307 )
( 308 )
( 309 )
( 310 )
( 311 )
( 312 )
( 313 )
( 314 )
( 315 )
( 316 )
( 317 )
( 318 )
( 319 )
( 320 )
( 321 )
( 322 )
( 323 )
( 324 )
( 325 )
( 326 )
( 327 )
( 328 )
( 329 )
( 330 )
( 331 )
( 332 )
( 333 )
( 334 )
( 335 )
( 336 )
( 337 )
( 338 339 )
( 338 340 )
( -338 341 )
( -338 342 )
( 343 )
( 344 )
( 345 )
( 346 )
( 347 )
( 348 )
( 349 )
( 350 )
( 351 )
( 352 )
( 353 )
( 354 )
( 355 )
( 356 )
( 357 )
( 358 )
( 359 )
( 360 )
( 361 )
( 362 )
( 363 )
( 364 )
( 365 )
( 366 )
( 367 )
( 368 )
( 369 )
( 370 )
( 371 )
( 372 )
( 373 )
( 374 )
( 375 )
( 376 )
( 377 )
( 378 )
( 379 )
( 380 )
( 381 )
( 382 )
( 383 )
( 384 )
( 385 )
( 386 )
( 387 )
( 388 )
( 389 )
( 390 )
( 391 )
( 392 )
( 393 )
( 394 )
( 395 )
( 396 )
( 397 )
( 398 )
( 399 )
( 400 )
( 401 )
( 402 )
( 403 )
( 404 )
( 405 )
( 406 )
( 407 )
( 408 )
( 409 )
( 389 )
( 410 )
( 411 )
( 412 )
( 413 )
( 414 )
( 415 )
( 390 )
( 416 )
( 417 )
( 418 )
( 419 )
( 420 )
( 421 )
( 422 )
( 423 )
( 424 )
( 425 )
( 426 )
( 427 )
( 428 )
( 429 )
( 430 )
( 431 )
( 432 )
( 433 )
( 434 )
( 435 )
( 436 )
( 437 )
( 438 )
( 439 )
( 440 )
( 441 )
( 442 )
( 443 )
( 444 )
( 445 )
( 446 )
( 447 )
( 448 )
( 449 )
( 450 )
( 451 )
( 452 )
( 453 )
( 454 )
( 455 )
( 456 )
( 457 )
( 458 )
( 459 )
( 460 )
( 461 )
( 462 )
( 463 )
( 464 )
( 465 )
( 466 )
( 467 )
( 468 )
( 469 )
( 470 )
( 471 )
( 472 )
( 473 )
( 474 )
( 475 )
( 476 )
( 477 )
( 478 )
( 479 )
( 480 )
( 481 )
( 482 )
( 483 )
( 484 )
( 485 )
( 486 )
( 487 )
( 488 )
( 489 )
( 490 )
( 491 )
( 492 )
( 493 )
( 494 )
( 495 )
( 496 )
( 497 )
( 498 )
( 499 )
( 500 )
( 501 )
( 502 )
( 503 )
( 504 )
( 505 )
( 506 )
( 507 )
( 508 )
( 509 )
( 510 )
( 511 )
( 512 )
( 513 )
( 514 )
( 515 )
( 516 )
( 517 )
( 518 )
( 519 )
( 520 )
( 521 )
( 522 )
( 523 )
( 524 )
( 525 )
( 526 )
( 527 )
( 528 )
( 529 )
( 530 )
( 531 )
( 532 )
( 533 )
( 534 )
( 535 )
( 536 )
( 537 )
( 538 )
( 539 )
( 540 )
( 541 )
( 542 )
( 543 )
( 544 )
( 545 )
( 546 )
( 547 )
( 548 )
( 549 )
( 550 )
( 551 )
( 552 )
( 553 )
( 554 )
( 555 )
( 556 )
( 557 )
( 558 )
( 559 )
( 560 )
( 561 )
( 562 )
( 563 )
( 564 )
( 565 )
( 566 )
( 567 )
( 568 )
( 569 )
( 570 )
( 571 )
( 572 )
( 573 )
( 574 )
( 575 )
( 576 )
( 577 )
( 578 )
( 579 )
( 580 )
( 581 )
( 582 )
( 583 )
( 584 )
( 585 )
( 586 )
( 587 )
( 588 )
( 589 )
( 590 )
( 591 )
( 592 )
( 593 )
( 594 )
( 595 )
( 596 )
( 597 )
( 598 )
( 599 )
( 600 )
( 601 )
( 602 )
( 603 )
( 604 )
( 605 )
( 606 )
( 607 )
( 608 )
( 609 )
( 610 )
( 611 )
( 612 )
( 613 )
( 614 )
( 615 )
( 616 )
( 617 )
( 618 )
( 619 )
( 620 )
( 621 )
( 622 )
( 623 )
( 624 )
( 625 )
( 626 )
( 627 )
( 628 )
( 629 )
( 630 )
( 631 )
( 632 )
( 633 )
( 634 )
( 635 )
( 636 )
( 637 )
( 638 )
( 639 )
( 640 )
( 641 )
( 642 )
( 643 )
( 644 )
( 645 )
( 646 )
( 647 )
( 648 )
( 649 )
( 650 )
( 651 )
( 652 )
( 653 )
( 654 )
( 655 )
( 656 )
( 657 )
( 658 )
( 659 )
( 660 )
( 661 )
( 662 )
( 663 )
( 664 )
( 665 )
( 666 )
( 667 )
( 668 )
( 669 )
( 670 )
( 671 )
( 672 )
( 673 )
( 674 )
( 675 )
( 676 )
( 677 )
( 678 )
( 679 )
( 680 )
( 681 )
( 682 )
( 683 )
( 684 )
( 685 )
( 686 )
( 687 )
( 688 )
( 689 )
( 690 )
( 691 )
( 692 )
( 693 )
( 694 )
( 695 )
( 696 )
( 697 )
( 698 )
( 699 )
( 700 )
( 701 )
( 702 )
( 703 )
( 704 )
( 705 )
( 706 )
( 707 )
( 708 )
( 709 )
( 710 )
( 711 )
( 712 )
( 713 )
( 714 )
( 715 )
( 716 )
( 717 )
( -718 719 )
( 710 -718 )
( -718 720 )
( -718 721 )
( -718 722 )
( -718 723 )
( -718 724 )
( -718 725 )
( -726 727 )
( 714 -726 )
( -726 728 )
( -726 729 )
( -726 730 )
( -726 731 )
( -726 732 )
( -726 733 )
( 718 726 )
( -718 -726 )
( 734 )
( 735 )
( 736 )
( 737 )
( 738 )
( 739 )
( 740 )
( 741 )
( -718 742 )
( -718 743 )
( -718 744 )
( -718 745 )
( -718 746 )
( -718 747 )
( -718 748 )
( -718 749 )
( -718 750 )
( -718 751 )
( -718 752 )
( -718 753 )
( -718 754 )
( -718 755 )
( -718 743 )
( -718 746 )
( -718 751 )
( -718 756 )
( -718 745 )
( -718 748 )
( -718 757 )
( -718 752 )
( -718 758 )
( 759 )
( 760 )
( 761 )
( 762 )
( 763 )
( 764 )
( 765 )
( 766 )
( 767 )
( 768 )
( 769 )
( 770 )
( 771 )
( 772 )
( 773 )
( 774 )
( 775 )
( 776 )
( 777 )
( 778 )
( 779 )
( 780 )
( 781 )
( 782 )
( 783 )
( 784 )
( 785 )
( 786 )
( 787 )
( 788 )
( 789 )
( 790 )
( 791 )
( 792 )
( 793 )
( 794 )
( 795 )
( 796 )
( 797 )
( 798 )
( 799 )
( 800 )
( 801 )
( 802 )
( 803 )
( 804 )
( 805 )
( 806 )
( 807 )
( 808 )
( 809 )
( 810 )
( 811 )
( 812 )
( 813 )
( 814 )
( 815 )
( 816 )
( 817 )
( 818 )
( 819 )
( 820 )
( 821 )
( 822 )
( 823 )
( 824 )
( 825 )
( 826 )
( 827 )
( 828 )
( 829 )
( 830 )
( 831 )
( 832 )
( 833 )
( 834 )
( 835 )
( 836 )
( 837 )
( 838 )
( 839 )
( 840 )
( 841 )
( 842 )
( 843 )
( 844 )
( 845 )
( 846 )
( 847 )
( 848 )
( 849 )
( 850 )
( 851 )
( 852 )
( 853 )
( 854 )
( 855 )
( 856 )
( 857 )
( 858 )
( -859 860 )
( -859 861 )
( -859 862 )
( -859 863 )
( -859 864 )
( -859 865 )
( -859 866 )
( -859 867 )
( -859 868 )
( -859 869 )
( -859 870 )
( -859 871 )
( -859 872 )
( -859 873 )
( -859 874 )
( -859 875 )
( -859 876 )
( -859 877 )
( -859 878 )
( -859 879 )
( -859 880 )
( -859 881 )
( -859 882 )
( -859 883 )
( -859 884 )
( -859 885 )
( -859 886 )
( -859 887 )
( -859 888 )
( -859 889 )
( -859 890 )
( -859 891 )
( -859 892 )
( -859 893 )
( -859 894 )
( -859 895 )
( -859 896 )
( -859 897 )
( -859 898 )
( -859 899 )
( -859 900 )
( -859 901 )
( -859 902 )
( -859 903 )
( -859 904 )
( -859 905 )
( -859 906 )
( -859 907 )
( -859 908 )
( -859 909 )
( -859 910 )
( -859 911 )
( -859 912 )
( -859 913 )
( -859 914 )
( -859 915 )
( -859 916 )
( -859 917 )
( -859 918 )
( -859 919 )
( -859 920 )
( -859 921 )
( -859 922 )
( -859 923 )
( -859 924 )
( -859 925 )
( -859 926 )
( -859 927 )
( -859 928 )
( -859 929 )
( -859 930 )
( -859 931 )
( -859 932 )
( -859 933 )
( -859 934 )
( -859 935 )
( -859 936 )
( -859 937 )
( -859 938 )
( -859 939 )
( -859 940 )
( -859 941 )
( -859 942 )
( -859 943 )
( -859 944 )
( -859 945 )
( -859 946 )
( -859 947 )
( -859 948 )
( -859 949 )
( -859 950 )
( -859 951 )
( -859 952 )
( -859 953 )
( -859 954 )
( -859 955 )
( -859 956 )
( -859 957 )
( -859 958 )
( -859 959 )
( -859 960 )
( -859 961 )
( -859 962 )
( -859 963 )
( -859 964 )
( -859 965 )
( -859 966 )
( -859 967 )
( -859 968 )
( -859 969 )
( -859 970 )
( -859 971 )
( -859 972 )
( -859 973 )
( -859 974 )
( -859 975 )
( -859 976 )
( -859 977 )
( -859 978 )
( -859 979 )
( -859 980 )
( -859 981 )
( -859 982 )
( -859 983 )
( -859 984 )
( -859 985 )
( -859 986 )
( -859 987 )
( -859 988 )
( -859 989 )
( -859 990 )
( -859 991 )
( -859 992 )
( -859 993 )
( -859 994 )
( -859 995 )
( -859 996 )
( -859 997 )
( -859 998 )
( -859 999 )
( -859 1000 )
( -859 1001 )
( -859 1002 )
( -859 1003 )
( -859 1004 )
( -859 1005 )
( -859 1006 )
( -859 1007 )
( -859 1008 )
( -859 1009 )
( -859 1010 )
( -859 1011 )
( -859 1012 )
( -859 1013 )
( -859 1014 )
( -859 1015 )
( -859 1016 )
( -859 1017 )
( -859 1018 )
( -859 1019 )
( -859 1020 )
( -859 1021 )
( -859 1022 )
( -859 1023 )
( -859 1024 )
( -859 1025 )
( -859 1026 )
( -859 1027 )
( -859 1028 )
( -859 1029 )
( -859 1030 )
( -859 1031 )
( -859 1032 )
( -859 1033 )
( -859 1034 )
( -859 1035 )
( -859 1036 )
( -859 1037 )
( -859 1038 )
( -859 1039 )
( -859 1040 )
( -859 1041 )
( -859 1042 )
( -859 1043 )
( -859 1044 )
( -859 1045 )
( -859 1046 )
( -859 1047 )
( -859 1048 )
( -859 1049 )
( -859 1050 )
( -859 1051 )
( -859 1052 )
( -859 1053 )
( -859 1054 )
( -859 1055 )
( -859 1056 )
( -859 1057 )
( -859 1058 )
( -859 1059 )
( 1060 )
( 1061 )
( 1062 )
( 1063 )
( 1064 )
( 1065 )
( 1066 )
( 1067 )
( -1068 1069 )
( -1068 1070 )
( -1068 1071 )
( -1068 1072 )
( -1068 1073 )
( -1068 1074 )
( -1068 1075 )
( -1068 1076 )
( -1068 1077 )
( -1068 1078 )
( -1068 1069 )
( -1068 1074 )
( -1068 1079 )
( -1068 1080 )
( -1068 1071 )
( -1068 1081 )
( -1068 1075 )
( -1068 1072 )
( -1068 1082 )
( -1068 1076 )
( -1068 1083 )
( -1068 1084 )
( -1068 1085 )
( 1086 )
( 1087 )
( 1088 )
( 1089 )
( 1090 )
( 1091 )
( 1092 )
( 1093 )
( 1094 )
( 1095 )
( 1096 )
( 1097 )
( 1098 )
( 1099 )
( 1100 )
( 1101 )
( 1102 )
( 1103 )
( 1104 )
( 1105 )
( 1106 )
( 1107 )
( 1108 )
( 1109 )
( -1110 1111 )
( -1110 1112 )
( -1110 1113 )
( -1110 1114 )
( -1110 1115 )
( -1110 1116 )
( -1110 1117 )
( -1110 1118 )
( -1110 1119 )
( -1110 1120 )
( -1110 1121 )
( -1110 1122 )
( -1110 1123 )
( -1110 1124 )
( -1110 1125 )
( -1110 1126 )
( -1110 1127 )
( -1110 1128 )
( -1110 1129 )
( -1110 1130 )
( -1110 1131 )
( -1110 1132 )
( -1110 1133 )
( -1110 1134 )
( -1110 1135 )
( -1110 1136 )
( -1110 1137 )
( -1110 1138 )
( -1110 1139 )
( -1110 1140 )
( -1110 1141 )
( -1110 1142 )
( -1110 1143 )
( -1110 1144 )
( -1110 1145 )
( -1110 1146 )
( -1110 1147 )
( -1110 1148 )
( -1110 1149 )
( -1110 1150 )
( -1110 1151 )
( -1110 1152 )
( -1110 1153 )
( -1110 1154 )
( -1110 1155 )
( -1110 1156 )
( -1110 1157 )
( -1110 1158 )
( -718 -1159 )
( 1160 )
( 1161 )
( 1162 )
( 1163 )
( 1164 )
( 1165 )
( 1166 )
( 1167 )
( 1168 )
( 1169 )
( 1170 )
( 1171 )
( 1172 )
( 1173 )
( 1174 )
( 1175 )
( 1176 )
( 1177 )
( 1178 )
( 1179 )
( 1180 )
( 1181 )
( 1182 )
( 1183 )
( 1184 )
( 1185 )
( 1186 )
( 1187 )
( 1188 )
( 1189 )
( 1190 )
( 1191 )
( 1192 )
( 1193 )
( 1194 )
( 1195 )
( 1196 )
( 1197 )
( 1198 )
( 1199 )
( 1200 )
( 1201 )
( 1202 )
( 1203 )
( 1204 )
( 1205 )
( 1206 )
( 1207 )
( 1208 )
( 1209 )
( 1210 )
( 1211 )
( 1212 )
( 1213 )
( 1214 )
( 1215 )
( 1216 )
( 1217 )
( 1218 )
( 1219 )
( 1220 )
( 1221 )
( 1222 )
( 1223 )
( 1224 )
( 1225 )
( 1226 )
( 1227 )
( 1228 )
( 1229 )
( 1230 )
( 1231 )
( -726 1232 )
( -726 1233 )
( -726 1234 )
( -726 1235 )
( -726 1236 )
( -726 1237 )
( -726 1238 )
( -726 1239 )
( -726 1240 )
( -726 1241 )
( -726 1242 )
( -726 1243 )
( -726 1244 )
( -726 1245 )
( -726 1233 )
( -726 1236 )
( -726 1241 )
( -726 1246 )
( -726 1235 )
( -726 1238 )
( -726 1247 )
( -726 1242 )
( -726 1248 )
( -1249 1250 )
( -1249 1251 )
( -1249 1252 )
( -1249 1253 )
( -1249 1254 )
( -1249 1255 )
( -1249 1256 )
( -1249 1257 )
( -1249 1258 )
( -1249 1259 )
( -1249 1260 )
( -1249 1261 )
( -1249 1262 )
( -1249 1263 )
( -1249 1264 )
( -1249 1265 )
( -1249 1266 )
( -1249 1267 )
( -1249 1268 )
( -1249 1269 )
( -1249 1270 )
( -1249 1271 )
( -1249 1272 )
( -1249 1273 )
( -1249 1274 )
( -1249 1275 )
( -1249 1276 )
( -1249 1277 )
( -1249 1278 )
( -1249 1279 )
( -1249 1280 )
( -1249 1281 )
( 884 -1249 )
( 885 -1249 )
( 886 -1249 )
( 887 -1249 )
( 888 -1249 )
( 889 -1249 )
( 890 -1249 )
( 891 -1249 )
( -1249 1282 )
( -1249 1283 )
( -1249 1284 )
( -1249 1285 )
( -1249 1286 )
( -1249 1287 )
( -1249 1288 )
( -1249 1289 )
( -1249 1290 )
( -1249 1291 )
( -1249 1292 )
( -1249 1293 )
( -1249 1294 )
( -1249 1295 )
( -1249 1296 )
( -1249 1297 )
( -1249 1298 )
( -1249 1299 )
( -1249 1300 )
( -1249 1301 )
( -1249 1302 )
( -1249 1303 )
( -1249 1304 )
( -1249 1305 )
( -1249 1306 )
( -1249 1307 )
( -1249 1308 )
( -1249 1309 )
( -1249 1310 )
( -1249 1311 )
( -1249 1312 )
( -1249 1313 )
( -1249 1314 )
( -1249 1315 )
( -1249 1316 )
( -1249 1317 )
( -1249 1318 )
( -1249 1319 )
( -1249 1320 )
( -1249 1321 )
( -1249 1322 )
( -1249 1323 )
( -1249 1324 )
( -1249 1325 )
( -1249 1326 )
( -1249 1327 )
( -1249 1328 )
( -1249 1329 )
( -1249 1330 )
( -1249 1331 )
( -1249 1332 )
( -1249 1333 )
( -1249 1334 )
( -1249 1335 )
( -1249 1336 )
( -1249 1337 )
( -1249 1338 )
( -1249 1339 )
( -1249 1340 )
( -1249 1341 )
( -1249 1342 )
( -1249 1343 )
( 1056 -1249 )
( 1057 -1249 )
( -1249 1344 )
( -1249 1345 )
( -1249 1346 )
( -1249 1347 )
( -1249 1348 )
( -1249 1349 )
( -1249 1350 )
( -1249 1351 )
( 956 -1249 )
( 957 -1249 )
( 958 -1249 )
( 959 -1249 )
( 1012 -1249 )
( 1013 -1249 )
( 1014 -1249 )
( 1015 -1249 )
( 1016 -1249 )
( 1017 -1249 )
( 1018 -1249 )
( 1019 -1249 )
( 1020 -1249 )
( 1021 -1249 )
( 1022 -1249 )
( 1023 -1249 )
( 1024 -1249 )
( 1025 -1249 )
( 1026 -1249 )
( 1027 -1249 )
( -1249 1352 )
( -1249 1353 )
( -1249 1354 )
( -1249 1355 )
( -1249 1356 )
( -1249 1357 )
( -1249 1358 )
( -1249 1359 )
( -1249 1360 )
( -1249 1361 )
( -1249 1362 )
( -1249 1363 )
( -1249 1364 )
( -1249 1365 )
( -1249 1366 )
( -1249 1367 )
( -1249 1368 )
( -1249 1369 )
( -1249 1370 )
( -1249 1371 )
( -1249 1372 )
( -1249 1373 )
( -1249 1374 )
( -1249 1375 )
( -1249 1376 )
( -1249 1377 )
( -1249 1378 )
( -1249 1379 )
( 1380 )
( 1381 )
( 1382 )
( 1383 )
( -1384 1385 )
( -1384 1386 )
( -1384 1387 )
( -1384 1388 )
( -1384 1389 )
( -1384 1390 )
( -1384 1391 )
( -1384 1392 )
( -1384 1393 )
( -1384 1394 )
( -1384 1385 )
( -1384 1390 )
( -1384 1395 )
( -1384 1387 )
( -1384 1396 )
( -1384 1397 )
( -1384 1391 )
( -1384 1398 )
( -1384 1388 )
( -1384 1392 )
( -1384 1399 )
( -1384 1400 )
( -1384 1401 )
( -1402 1403 )
( -1402 1404 )
( -1402 1405 )
( -1402 1406 )
( -1402 1407 )
( -1402 1408 )
( -1402 1409 )
( -1402 1410 )
( 1119 -1402 )
( 1120 -1402 )
( 1121 -1402 )
( 1122 -1402 )
( -1402 1411 )
( -1402 1412 )
( -1402 1413 )
( -1402 1414 )
( -1402 1415 )
( -1402 1416 )
( 1157 -1402 )
( 1158 -1402 )
( -1402 1417 )
( -1402 1418 )
( -1402 1419 )
( -1402 1420 )
( 1147 -1402 )
( 1148 -1402 )
( -1402 1421 )
( -1402 1422 )
( 1125 -1402 )
( 1126 -1402 )
( 1155 -1402 )
( 1156 -1402 )
( 1423 )
( 1424 )
( 1425 )
( 1426 )
( 1427 )
( 1428 )
( 1429 )
( 1430 )
( 1431 )
( 1432 )
( 1433 )
( 1434 )
( 1435 )
( 1436 )
( 1437 )
( 1438 )
( 1439 )
( 1440 )
( 1441 )
( 1442 )
( 1443 )
( 1444 )
( 1445 )
( 1446 )
( 1447 )
( 1448 )
( 1449 )
( 1450 )
( 1451 )
( 1452 )
( 1453 )
( 1454 )
( 1455 )
( 1456 )
( 1457 )
( 1458 )
( 1459 )
( 1460 )
( 1461 )
( 1462 )
( 1463 )
( 1464 )
( 1465 )
( 1466 )
( 1467 )
( 1468 )
( 1469 )
( 1470 )
( 1471 )
( 1472 )
( 1473 )
( 1474 )
( 1475 )
( 1476 )
( 1477 )
( 1478 )
( 718 -1068 )
( -718 1068 )
( 718 -859 )
( -718 859 )
( -859 1479 )
( -1249 1479 )
( 859 1249 -1479 )
( -859 -1249 -1479 )
( -859 1480 )
( -1249 1480 )
( 859 1249 -1480 )
( -859 -1249 -1480 )
( -859 1481 )
( -1249 1481 )
( 859 1249 -1481 )
( -859 -1249 -1481 )
( -859 1482 )
( -1249 1482 )
( 859 1249 -1482 )
( -859 -1249 -1482 )
( -859 1483 )
( -1249 1483 )
( 859 1249 -1483 )
( -859 -1249 -1483 )
( -859 1484 )
( -1249 1484 )
( 859 1249 -1484 )
( -859 -1249 -1484 )
( -859 1485 )
( -1249 1485 )
( 859 1249 -1485 )
( -859 -1249 -1485 )
( -859 1486 )
( -1249 1486 )
( 859 1249 -1486 )
( -859 -1249 -1486 )
( -859 1487 )
( -1249 1487 )
( 859 1249 -1487 )
( -859 -1249 -1487 )
( -859 1488 )
( -1249 1488 )
( 859 1249 -1488 )
( -859 -1249 -1488 )
( -859 1489 )
( -1249 1489 )
( 859 1249 -1489 )
( -859 -1249 -1489 )
( -859 1490 )
( -1249 1490 )
( 859 1249 -1490 )
( -859 -1249 -1490 )
( -859 1491 )
( -1249 1491 )
( 859 1249 -1491 )
( -859 -1249 -1491 )
( -859 1492 )
( -1249 1492 )
( 859 1249 -1492 )
( -859 -1249 -1492 )
( -859 1493 )
( -1249 1493 )
( 859 1249 -1493 )
( -859 -1249 -1493 )
( -859 1494 )
( -1249 1494 )
( 859 1249 -1494 )
( -859 -1249 -1494 )
( 859 -1495 )
( -859 1495 )
( 859 -1496 )
( -859 1496 )
( 859 -1497 )
( -859 1497 )
( -859 1498 )
( -1249 1498 )
( 859 1249 -1498 )
( -859 -1249 -1498 )
( 859 -1499 )
( -859 1499 )
( 859 -1500 )
( -859 1500 )
( 859 -1501 )
( -859 1501 )
( 859 -1502 )
( -859 1502 )
( -859 1503 )
( -1249 1503 )
( 859 1249 -1503 )
( -859 -1249 -1503 )
( -1068 1504 )
( -1384 1504 )
( 1068 1384 -1504 )
( -1068 -1384 -1504 )
( 1068 -1110 )
( -1068 1110 )
( -1110 1505 )
( -1402 1505 )
( 1110 1402 -1505 )
( -1110 -1402 -1505 )
( -1110 1506 )
( -1402 1506 )
( 1110 1402 -1506 )
( -1110 -1402 -1506 )
( -1110 1507 )
( -1402 1507 )
( 1110 1402 -1507 )
( -1110 -1402 -1507 )
( -1110 1508 )
( -1402 1508 )
( 1110 1402 -1508 )
( -1110 -1402 -1508 )
( -1110 1509 )
( -1249 1509 )
( 1110 1249 -1509 )
( -1110 -1249 -1509 )
( -1110 1510 )
( -1249 1510 )
( 1110 1249 -1510 )
( -1110 -1249 -1510 )
( 726 -1384 )
( -726 1384 )
( 726 -1249 )
( -726 1249 )
( 1384 -1402 )
( -1384 1402 )
sat
